]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 009d1bf) | patch
Procedural: 2 bug fix in eta expansion + 1 bug fix in pattern generation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Mar 2007 22:53:49 +0000 (22:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Mar 2007 22:53:49 +0000 (22:53 +0000)
commitc0a733b932a64804f67ac93f9ab9f52bd0614fc6
treeeb7acf226ee2cec4d13da688719bc144fe2d7d22tree | snapshot
parent009d1bf3b0ad7f79378f3842c8c59f6eaecca68ccommit | diff
Procedural: 2 bug fix in eta expansion + 1 bug fix in pattern generation
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.ml diff | blob | history
helm/software/components/acic_procedural/proceduralPreprocess.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.