]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf8abaf) | patch
sync with universes and ~subst (and not ?(subst=[]))
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Dec 2004 13:43:58 +0000 (13:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Dec 2004 13:43:58 +0000 (13:43 +0000)
commit3bec70852905f57198cd5b659dc72d430c1c5d2c
treeb89da9e02f9653a2365944ff897c0b6492fc13ebtree | snapshot
parentcf8abaf99bf9065c82d8f668d441bc4c0a2a13dfcommit | diff
sync with universes and ~subst (and not ?(subst=[]))
helm/matita/matitaDisambiguator.ml diff | blob | history
helm/matita/matitaInterpreter.ml diff | blob | history
helm/matita/matitaTypes.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.