]> matita.cs.unibo.it Git - helm.git/commit
some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Feb 2007 19:20:48 +0000 (19:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Feb 2007 19:20:48 +0000 (19:20 +0000)
commitfa68418f83c513562debf8b25eec7ea3bb28996d
tree07f790ebaf14f57231e5ba3891e28455138de6cf
parent474a2de3446753bd9660f185187087d5fa10afd3
some improvements
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralConversion.ml
components/acic_procedural/proceduralConversion.mli
components/acic_procedural/proceduralTypes.ml
components/acic_procedural/proceduralTypes.mli