]> matita.cs.unibo.it Git - helm.git/commit
* Major code cleanup.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Dec 2001 15:13:22 +0000 (15:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Dec 2001 15:13:22 +0000 (15:13 +0000)
commitae326f646ef4c01b43d6da04201b427d1e175400
tree9fdb50f0ec10e780cd868793e7cdaef0c2e5d5a9
parent538b694e70fafbf298f27cf57cae13928bac95af
* Major code cleanup.
* Bug fixing: discharging of objects depending on variables with a body
  is now handled (more) correctly.
27 files changed:
helm/ocaml/cic/.depend
helm/ocaml/cic/cic.ml
helm/ocaml/cic/cicParser.ml
helm/ocaml/cic/cicParser.mli
helm/ocaml/cic/cicParser2.ml
helm/ocaml/cic/cicParser3.ml
helm/ocaml/cic/cicParser3.mli
helm/ocaml/cic/deannotate.ml
helm/ocaml/cic_annotations/.depend
helm/ocaml/cic_annotations/Makefile
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
helm/ocaml/cic_annotations/cicAnnotation2Xml.mli
helm/ocaml/cic_annotations/cicAnnotationParser.ml
helm/ocaml/cic_annotations/cicAnnotationParser.mli
helm/ocaml/cic_annotations/cicAnnotationParser2.ml
helm/ocaml/cic_annotations/cicAnnotationParser2.mli
helm/ocaml/cic_annotations/cicXPath.ml
helm/ocaml/cic_annotations/cicXPath.mli
helm/ocaml/cic_annotations_cache/cicCache.ml
helm/ocaml/cic_annotations_cache/cicCache.mli
helm/ocaml/cic_cache/cicCache.ml
helm/ocaml/cic_proof_checking/cicCooking.ml
helm/ocaml/cic_proof_checking/cicEnvironment.ml
helm/ocaml/cic_proof_checking/cicEnvironment.mli
helm/ocaml/cic_proof_checking/cicPp.ml
helm/ocaml/cic_proof_checking/cicReduction.ml
helm/ocaml/cic_proof_checking/cicTypeChecker.ml