]> matita.cs.unibo.it Git - helm.git/commit
Procedural: refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:20:41 +0000 (12:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:20:41 +0000 (12:20 +0000)
commit93afc8e27cf27754ff73b426e0b1d4df97224dee
tree50d78068081e78b5d5fd53c53fb66e85f40baad0
parentc465c17581bf606e0330cbd89b238279c184ad35
Procedural: refactoring
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/acic_procedural/Makefile
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralOptimizer.ml [new file with mode: 0644]
helm/software/components/acic_procedural/proceduralOptimizer.mli [new file with mode: 0644]
helm/software/components/acic_procedural/proceduralPreprocess.ml [deleted file]
helm/software/components/acic_procedural/proceduralPreprocess.mli [deleted file]
helm/software/matita/applyTransformation.ml