diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-09-09 14:54:42 +0200 |
|---|---|---|
| committer |  Matthieu Sozeau <mattam@mattam.org> | 2017-09-19 10:28:03 +0200 |
| commit | 3c964a60d698134c21adc77cbb69ce1528350682 (patch) | |
| tree | 61d9fff65aaf7d6d844eef0a6c251bdd8f90e53e /vernac/lemmas.ml | |
| parent | cd29948855c2cbd3f4065170e41f8dbe625e1921 (diff) | |
Document UState.universe_context.
Diffstat (limited to 'vernac/lemmas.ml')
0 files changed, 0 insertions, 0 deletions