]> 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)
commit9ebbff1619da00a2d42e04def79c59d129ee4a92
treed44aa2c8bdb198f7f6b62ff8591d35ec754c39bf
parent936f80cf031a7b034dd70fef49abb90e69f2e680
removed some refinement_toolkit
components/library/cicCoercion.ml
components/library/cicCoercion.mli
components/library/librarySync.ml
components/tactics/closeCoercionGraph.ml
components/tactics/closeCoercionGraph.mli
components/tactics/tactics.mli