]> 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)
commitf505d9e257aa3209652264b97bb62d87ce592091
treebb26add2300ac0ae8376ef713f9c24e90afd5917
parent94c0dace142ca00a1b5e1a63d83f65d86e3a1c8d
some improvements
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralConversion.mli
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/acic_procedural/proceduralTypes.mli