]> matita.cs.unibo.it Git - helm.git/commit
Procedural: now patterns for rewrite are generated correctly
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 2 Mar 2007 22:24:16 +0000 (22:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 2 Mar 2007 22:24:16 +0000 (22:24 +0000)
commit1463900504de5429c344223b9775ea32d3025059
tree26a5a2048c2f18c523df92a6583ace18bc0435a0
parent600477f27265ee3226f1bd3e2a1fcd42445c8d5f
Procedural: now patterns for rewrite are generated correctly
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralConversion.ml
components/acic_procedural/proceduralMode.mli