]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d6d34c) | patch
fourier_tac without useless recursion
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Oct 2002 20:40:43 +0000 (20:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Oct 2002 20:40:43 +0000 (20:40 +0000)
commit73fc7a48b8abb4f68708a079630d3232f6abb584
treeef4fff1d4aabc5061f5531786588820d10894034tree | snapshot
parent4d6d34c2fa9efdc0b033e2e8bdffd8492f876f57commit | diff
fourier_tac without useless recursion
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.