]> matita.cs.unibo.it Git - helm.git/commit
An old bug in 'eqT' hipotesys solved
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 11 Nov 2002 12:03:10 +0000 (12:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 11 Nov 2002 12:03:10 +0000 (12:03 +0000)
commitd64cc26e9b740fb375f46f6d9e39d42802db3ff7
treeebe3fb0144192fd1554a5e09cb4495eb1759efdc
parentbf139708239b0a51c96cdeb2e636e057e8c4571e
An old bug in 'eqT' hipotesys solved
helm/gTopLevel/esempi/fourier.cic
helm/gTopLevel/fourierR.ml