]> matita.cs.unibo.it Git - helm.git/commit
Indexing local context for paramod.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 4 Dec 2009 08:45:24 +0000 (08:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 4 Dec 2009 08:45:24 +0000 (08:45 +0000)
commit0232b651c37511743ce9e99d517a41adac3a7064
tree8ab884bd8c6dae545e758150a772825cd6088f3f
parentc46cc290b8b7c00411cf5b8761eb65f9dda7a62e
Indexing local context for paramod.
helm/software/components/ng_tactics/.depend
helm/software/components/ng_tactics/Makefile
helm/software/components/ng_tactics/nAuto.ml
helm/software/components/ng_tactics/nTactics.mli
helm/software/components/ng_tactics/nnAuto.ml