diff options
author | 2013-11-14 11:50:04 +0100 | |
---|---|---|
committer | 2014-05-06 09:58:55 +0200 | |
commit | c1cd47d5dff18f12af063d2c8defbd985c97dec6 (patch) | |
tree | e459818ae127339883bb124a525191215a3b38f2 /ide/wg_Detachable.ml | |
parent | 28e5f4def8bebdaf3bd75b6662bbd4fd88594689 (diff) |
- Fix comparison of universes.
- Shortcut for Set <= x checks, assuming that this is always true except when
x (or rather its canonical representative) is Prop. Invariant to check.
- Uncomment the profiling code and make it depend on a (statically known) boolean.
Diffstat (limited to 'ide/wg_Detachable.ml')
0 files changed, 0 insertions, 0 deletions