]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1357d4a) | patch
Fourier tactic update
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Sep 2002 09:39:51 +0000 (09:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Sep 2002 09:39:51 +0000 (09:39 +0000)
commit1c055e64e5a1a37112622548e54326c658552de6
treeabf4ba787b6b0620575f649feabf129a5edb0c0etree | snapshot
parent1357d4a7e43e986c2f2f9fe4a569f11230c6771ecommit | diff
Fourier tactic update
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.