]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ac2712) | patch
Fourier tactic
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 4 Sep 2002 15:34:28 +0000 (15:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 4 Sep 2002 15:34:28 +0000 (15:34 +0000)
commit5a8a7dd777c55a9907699a709760b0616b571919
tree3e0105869b0ed853cc419d3570e587d059d589a7tree | snapshot
parent4ac2712b2a615135ecd00ae2501d341ecaa143abcommit | diff
Fourier tactic
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/fourier.ml [new file with mode: 0644] blob
helm/gTopLevel/fourierR.ml [new file with mode: 0644] blob
helm/gTopLevel/fourierR.mli [new file with mode: 0644] blob
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/gTopLevel/proofEngine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.