diff options
| author | Pierre-Marie Pédrot | 2016-06-16 16:17:47 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-06-16 16:17:47 +0200 |
| commit | a33999800dc7e0a12935034350c31b47b6e5d494 (patch) | |
| tree | dcb545400147aa7dbd2a00db42f40da637473de1 /kernel/type_errors.mli | |
| parent | 6aac2c78ad5dec79c6ed16a50accde57c37398a9 (diff) | |
| parent | eab9b0125238decef60a1710649671dc26959667 (diff) | |
Merge PR #195: Complete is_* family of term-examining tactics.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions