]> 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)
commitff7453211b4c3bcd4a3b65d86450b4ade1882400
treecad75631edad876f3f95b180b995bc9b37dc9995
parentb8254cf86275b9d78b30a0b14974a6f23ad9be24
Procedural: clear tactics added
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralConversion.ml
components/acic_procedural/proceduralConversion.mli