]> matita.cs.unibo.it Git - helm.git/commit
Procedural: clear tactics added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 May 2007 12:59:52 +0000 (12:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 May 2007 12:59:52 +0000 (12:59 +0000)
commitd3d4ea54cb895a1adc6cb327df42e1394b3f2bea
treedb51a4946c46496c3768ff76532733542ee012e6
parent1acfe506c30e7fcc9d6e427d2523130c371a1159
Procedural: clear tactics added
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralConversion.mli