diff options
| author | Théo Zimmermann | 2018-08-01 12:40:21 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-22 10:49:01 +0200 |
| commit | ed76ae4246e7d8fca79944b12b058d6bc3cd702b (patch) | |
| tree | f1d7c5a0ae7cb539a2bc69aaced640145104debd /kernel/type_errors.mli | |
| parent | 30644a4e88f3fd0f0fc2ced117e38c9aa59affc5 (diff) | |
[refman] Fixing two nested lemma errors.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions