]> matita.cs.unibo.it Git - helm.git/commit
removed some refinement_toolkit
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jun 2007 15:05:06 +0000 (15:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jun 2007 15:05:06 +0000 (15:05 +0000)
commite53dfd3fa17a77ab1fdd249ed2e5b6d0f9d94d88
tree62f4827154bc6d39ab1f37e75277481a8438c191
parent3990759a81db3ce45bf4ec56e1985e532151f6e0
removed some refinement_toolkit
helm/software/components/library/cicCoercion.ml
helm/software/components/library/cicCoercion.mli
helm/software/components/library/librarySync.ml
helm/software/components/tactics/closeCoercionGraph.ml
helm/software/components/tactics/closeCoercionGraph.mli
helm/software/components/tactics/tactics.mli