]> matita.cs.unibo.it Git - helm.git/commit
- removed: cut_tac False to demostrate False
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 20 Nov 2002 15:53:35 +0000 (15:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 20 Nov 2002 15:53:35 +0000 (15:53 +0000)
commit44fca010f5f7c9585c9530c4b6b30cd774b7cd1c
tree9793580b152ce03bc705c72ba1a2199183f932b8
parent2b5ac6792e5a19c8e3d77307afad115eb3f091b4
- removed: cut_tac False to demostrate False
- removed: apply_tac Rle_zero_zero
- a new big example
helm/gTopLevel/esempi/fourier.cic
helm/gTopLevel/fourierR.ml