]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48ccd3c) | patch
better max function (instead of @) for combining universes
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Dec 2008 18:26:18 +0000 (18:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Dec 2008 18:26:18 +0000 (18:26 +0000)
commit4f0397e0faf85e400e244c815de4780660652faa
tree9d545c6b9c976aeb2a68104005b4adf83f822620tree | snapshot
parent48ccd3ca2b890b89775f1fbf7827bf617cf7aa19commit | diff
better max function (instead of @) for combining universes
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
helm/software/components/ng_kernel/nCicEnvironment.mli diff | blob | history
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.