]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0316b2) | patch
Now esempi/fourier.cic end with a proof!
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 25 Oct 2002 08:27:21 +0000 (08:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 25 Oct 2002 08:27:21 +0000 (08:27 +0000)
commitc290236ef8e2a2310e10d807a3f852c33e6bd919
tree40a8593ecc563bbaf006cdb007c84048a54f184ftree | snapshot
parentf0316b2966b8650ec65df99f7b41bc047b1c8fd3commit | diff
Now esempi/fourier.cic end with a proof!

- used change_tac to change from a->False to ~a just before tac2.

Fix: Ad hoc change_tac may not work sometimes. check what Cic.Anonimous means.
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.