]> 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)
commit8a4fdd910446fb3635719d979613aad2bd56db16
tree00a699bfa04721beca30d4fa492950be1d61111a
parent380284d5b85bd218f812bc0f9725061912c291f6
Procedural: now patterns for rewrite are generated correctly
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralMode.mli