]> matita.cs.unibo.it Git - helm.git/commit
Tactic update
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Sep 2002 06:57:55 +0000 (06:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Sep 2002 06:57:55 +0000 (06:57 +0000)
commit1d4de3a17c0a41781cc8e415361d228ded4f1d8f
treef48e3839c8558ecc76d17fd5cc1ce1562cd21dd9
parent1235bdbe5da488056b96df86ed18e381589e0f97
Tactic update
helm/gTopLevel/fourierR.ml