diff options
| author | Hugo Herbelin | 2015-12-30 21:17:02 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-01-14 14:37:22 +0100 |
| commit | 00e27eac9fe207d754952c1ddb0e12861ee293c9 (patch) | |
| tree | cf64342ebf48bf248124bbb54844a70b77d1fa0e /kernel/type_errors.ml | |
| parent | 072aa1f8c4e3ff08d1343e1f068a41648c06b7fd (diff) | |
Moving is_quantified_hypothesis to new proof engine.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions