]> matita.cs.unibo.it Git - helm.git/commit
Inversion code cleaning.
authormarangon <??>
Fri, 10 Mar 2006 12:20:41 +0000 (12:20 +0000)
committermarangon <??>
Fri, 10 Mar 2006 12:20:41 +0000 (12:20 +0000)
commitd1bd5a770aab05e158b91a8a9c863d2a51db78e1
tree8012f7f7ca653a7078690194efe3123ebfc2c5fb
parent5b72c06c73ae9493ef7df7f8ca10fd95d02983e1
Inversion code cleaning.
helm/software/components/tactics/.depend
helm/software/components/tactics/Makefile
helm/software/components/tactics/inversion.ml
helm/software/components/tactics/inversion.mli