]> matita.cs.unibo.it Git - helm.git/commit
Every exception that used to have type string is now a string Lazy.t.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 25 Oct 2005 12:37:37 +0000 (12:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 25 Oct 2005 12:37:37 +0000 (12:37 +0000)
commit8b55faddb06e3c4b0a13839210bb49170939b33e
tree29c0410b1091dce34fa0ec5c25b214f307ae1b8c
parente01614ddeb9a35e6203c0e0a93d304f80cb52893
Every exception that used to have type string is now a string Lazy.t.
43 files changed:
helm/matita/matitaEngine.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/cic_disambiguation/disambiguateChoices.ml
helm/ocaml/cic_disambiguation/disambiguateChoices.mli
helm/ocaml/cic_proof_checking/cicElim.ml
helm/ocaml/cic_proof_checking/cicElim.mli
helm/ocaml/cic_proof_checking/cicEnvironment.ml
helm/ocaml/cic_proof_checking/cicEnvironment.mli
helm/ocaml/cic_proof_checking/cicTypeChecker.ml
helm/ocaml/cic_proof_checking/cicTypeChecker.mli
helm/ocaml/cic_unification/cicMetaSubst.ml
helm/ocaml/cic_unification/cicMetaSubst.mli
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/cicRefine.mli
helm/ocaml/cic_unification/cicUnification.ml
helm/ocaml/cic_unification/cicUnification.mli
helm/ocaml/cic_unification/coercDb.ml
helm/ocaml/cic_unification/coercDb.mli
helm/ocaml/cic_unification/coercGraph.ml
helm/ocaml/cic_unification/coercGraph.mli
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/tactics/autoTactic.ml
helm/ocaml/tactics/continuationals.ml
helm/ocaml/tactics/continuationals.mli
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/eliminationTactics.ml
helm/ocaml/tactics/equalityTactics.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/fwdSimplTactic.ml
helm/ocaml/tactics/introductionTactics.ml
helm/ocaml/tactics/negationTactics.ml
helm/ocaml/tactics/primitiveTactics.ml
helm/ocaml/tactics/proofEngineHelpers.ml
helm/ocaml/tactics/proofEngineHelpers.mli
helm/ocaml/tactics/proofEngineReduction.ml
helm/ocaml/tactics/proofEngineStructuralRules.ml
helm/ocaml/tactics/proofEngineTypes.ml
helm/ocaml/tactics/proofEngineTypes.mli
helm/ocaml/tactics/ring.ml
helm/ocaml/tactics/tacticals.ml
helm/ocaml/tactics/variousTactics.ml