diff options
| author | Hugo Herbelin | 2015-02-16 11:30:24 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-02-16 12:22:53 +0100 |
| commit | 100d50d7cde05334940378a1e6483cae975b93a5 (patch) | |
| tree | 8d1bd6ff514d724ed9d117bb7dad71f254d7dd91 /stm/asyncTaskQueue.mli | |
| parent | 4e6c9891140932f452bb5ac8960d597b0b5fde1d (diff) | |
Documenting "induction t in ctx" when ctx contains an hyp not mentioning t.
Diffstat (limited to 'stm/asyncTaskQueue.mli')
0 files changed, 0 insertions, 0 deletions