]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic_proof_checking/cicDischarge.mli
...
[helm.git] / helm / software / components / cic_proof_checking / cicDischarge.mli
2008-11-28 Ferruccio GuidicicDischarge: final fixup. Now correctly processes...
2008-09-10 Ferruccio GuidicicDischarge, Procedural: we improved debugging and...
2008-09-07 Ferruccio GuidicicDischarge: we still have some problems here. Some...
2008-08-28 Ferruccio GuidicicDischarge: new module for discharging the explicit...