]> matita.cs.unibo.it Git - helm.git/commit
Optimizer: refactored according to its formal description
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 30 Mar 2007 21:54:45 +0000 (21:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 30 Mar 2007 21:54:45 +0000 (21:54 +0000)
commitc747ac2b679eccc609b24d53b6b15afcc81ba2b2
tree84b25b9749e9a46e39fbf6fb9c3cdb769ec29e6d
parent37a375b59014cdfaa15f50e2a7bbed29871adb9b
Optimizer: refactored according to its formal description
components/acic_procedural/.depend
components/acic_procedural/.depend.opt
components/acic_procedural/Makefile
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralClassify.ml
components/acic_procedural/proceduralClassify.mli
components/acic_procedural/proceduralPreprocess.ml