]> matita.cs.unibo.it Git - helm.git/commit
compose tactic restore and added nocomposites keyword
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 14:24:24 +0000 (14:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 14:24:24 +0000 (14:24 +0000)
commit81d0d5a3aad863b991996c008f5c19076e771dbb
treeaf227bf45fc43972369e62ea792f9f4ef00c3a33
parent0b57df2b9578e65c733df29ed6fa00c047a606e8
compose tactic restore and added nocomposites keyword
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/library/coercDb.ml
helm/software/components/library/librarySync.ml
helm/software/components/tactics/closeCoercionGraph.ml
helm/software/components/tactics/compose.ml