]> matita.cs.unibo.it Git - helm.git/commit
auto and auto_paramod are in nAuto
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 5 Oct 2009 14:53:10 +0000 (14:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 5 Oct 2009 14:53:10 +0000 (14:53 +0000)
commit39fb4421e9bea7f21f46c2fa1145c248c08d16b6
treee5fdc809b169cf431beafadb6bd924bc96be1286
parent5aeba24517d4811e3dc08de5728a5ad8d47d41a7
auto and auto_paramod are in nAuto
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/ng_tactics/.depend
helm/software/components/ng_tactics/.depend.opt
helm/software/components/ng_tactics/Makefile
helm/software/components/ng_tactics/nAuto.ml
helm/software/components/ng_tactics/nAuto.mli
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli