diff options
| author | glondu | 2011-01-11 17:10:52 +0000 |
|---|---|---|
| committer | glondu | 2011-01-11 17:10:52 +0000 |
| commit | 2a66e67940e8cdd6ca0cdfdbd9b37053df6043f6 (patch) | |
| tree | 3cad098abc3191b6155a55116698bec88ae53e6d /man | |
| parent | 1b39b6f1cea94464dbbfb683ad69de18482d4846 (diff) | |
In univ.ml, put universe_level primitives in its their own sub-module
This is merely refactoring so that UniverseL{Map,Set} constructions
appear nicely.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13788 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions