]> matita.cs.unibo.it Git - helm.git/commit
tactic update
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Oct 2002 17:08:50 +0000 (17:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Oct 2002 17:08:50 +0000 (17:08 +0000)
commit1febf21f7c0f7ce0556839580e0914161b965543
treeecfe3fd96636582bcb65b30c5da1fd507aaa261e
parent0a167b9866d75acc1c32c3569dbea861114f7380
tactic update
helm/gTopLevel/fourier.ml
helm/gTopLevel/fourierR.ml