]> matita.cs.unibo.it Git - helm.git/commit
More debug_print made lazy.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Sep 2005 09:03:52 +0000 (09:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Sep 2005 09:03:52 +0000 (09:03 +0000)
commita93a94942ad58d8645af1fd94bef8fa31d9541a4
treec63ef6cba98e03f3c26e9aac4820bae3d74a1b63
parent6849a0b7b65075049427c27f60d19210ddb52cf5
More debug_print made lazy.
helm/ocaml/cic_proof_checking/cicElim.ml
helm/ocaml/cic_proof_checking/cicEnvironment.ml
helm/ocaml/cic_proof_checking/cicReduction.ml
helm/ocaml/cic_proof_checking/cicSubstitution.ml
helm/ocaml/cic_proof_checking/cicTypeChecker.ml
helm/ocaml/cic_proof_checking/freshNamesGenerator.ml
helm/ocaml/cic_unification/cicMetaSubst.ml
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/cicUnification.ml
helm/ocaml/cic_unification/coercGraph.ml