]> matita.cs.unibo.it Git - helm.git/commit
matitadep ported to the new baseuri free model
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Jan 2008 11:22:57 +0000 (11:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Jan 2008 11:22:57 +0000 (11:22 +0000)
commit35a06fa8d6c2664301b59e77dcbff5bcfd4a5091
tree246c94b07a486e5cd01654710278d9cc4f0bbabc
parent209184c83f7d290ceb43605598e09074b57d36f4
matitadep ported to the new baseuri free model
components/grafite_parser/dependenciesParser.ml
components/grafite_parser/dependenciesParser.mli
components/grafite_parser/grafiteParser.ml
components/grafite_parser/test_dep.ml
components/tactics/tactics.mli
matita/library/algebra/CoRN/Setoids.ma
matita/library/list/list.ma
matita/matitaInit.ml
matita/matitac.ml
matita/matitadep.ml