]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicReductionMachine.mli
- metasenv is now checked
[helm.git] / helm / ocaml / cic_proof_checking / cicReductionMachine.mli
2002-10-25 Claudio Sacerdoti... - Porting of all the code to the new DTD format (with...
2002-04-16 Andrea Asperti1. CicReduction moved into CicReductionNaif