]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f396728) | patch
case to elim conversion works fine
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Mar 2007 21:17:44 +0000 (21:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Mar 2007 21:17:44 +0000 (21:17 +0000)
commitbcc533e4ea80eb0b7b34d745c5632abcfc1b4182
treedeea6bf9a96f5ed2232c4b1cda6cb34f5eca8f59tree | snapshot
parentf396728a5a99733b1d46a3d1f3cd07b68ede07eccommit | diff
case to elim conversion works fine
components/acic_procedural/proceduralPreprocess.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.