diff options
| author | Tej Chajed | 2019-08-01 07:52:44 -0400 |
|---|---|---|
| committer | Tej Chajed | 2019-08-02 06:57:42 -0400 |
| commit | c68c05a5a23c35715fe38f2fd563a452ead3cc1c (patch) | |
| tree | 6ec489a723788d285ddb635a88ef79d2fd519175 /interp/implicit_quantifiers.ml | |
| parent | 8f52956f5b19b3b80b1cd6155e28e0af265f2d79 (diff) | |
Copy edit the Ltac2 documentation
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions