diff options
| author | Emilio Jesus Gallego Arias | 2020-05-25 01:24:07 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-26 18:28:09 +0200 |
| commit | 7661029ab7611bd96128b5ab5f788c18c203a7ff (patch) | |
| tree | b7a51b5bc3d6be3d2f217dd86ec8a67073ee91d8 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | 3b3836466c795265778424c05fe75a507149a8c0 (diff) | |
[declare] Split univs_deferred in close_proof
A step towards enforcing some more static invariants.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions