diff options
| author | Vincent Laporte | 2018-10-11 10:04:50 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-24 09:51:48 +0000 |
| commit | 5b690354c203f33be3eb33a6d905a64ab6ae4430 (patch) | |
| tree | 34b7a0cb2b97040c13ab92cf6979671e3bebed96 /library/coqlib.ml | |
| parent | 3dd46db42776f9be448454b2ddf556663295abd8 (diff) | |
[ssreflect] Better use of Coqlib
- Look constants up using registered names
- As lazily as possible
Diffstat (limited to 'library/coqlib.ml')
0 files changed, 0 insertions, 0 deletions