]> matita.cs.unibo.it Git - helm.git/commit
Minor changes.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Oct 2006 15:39:46 +0000 (15:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Oct 2006 15:39:46 +0000 (15:39 +0000)
commit572417ec66fd4ba7482aeefa062f509914b4729b
tree2c8e3b1e86fec9c59956a552463f294f752bdde3
parent7d360f2321b3d8a37c23f6c44a496a2f6a019562
Minor changes.
helm/software/components/tactics/autoTypes.ml
helm/software/components/tactics/autoTypes.mli