]> matita.cs.unibo.it Git - helm.git/commit
Tactic update
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Sep 2002 14:57:41 +0000 (14:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Sep 2002 14:57:41 +0000 (14:57 +0000)
commit9519a138c26383f30f018376bc6cf875f8b0c82e
tree8866ab90982efb0e3b24ff011b9394a93f85ae9a
parent1bb57cf59aeaf9fec121804703e25d0478a327d6
Tactic update
helm/gTopLevel/fourierR.ml
helm/gTopLevel/gTopLevel.ml