matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 6 Feb 2004 17:16:20 +0000 (17:16 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 6 Feb 2004 17:16:20 +0000 (17:16 +0000)
commit	e626927b4c1c77bdcd6b545203a0a9c17a9ff136
tree	3c5c9d3508c3975fd4e7a461946d9ed2498da74d	tree \| snapshot
parent	67eafee21527f29a9b26fd1a7c518e0b49c24bf5	commit \| diff

added annotations to Cic.Implicit

28 files changed:

helm/gTopLevel/logicalOperations.ml		diff \| blob \| history
helm/gTopLevel/proofEngine.ml		diff \| blob \| history
helm/ocaml/cic/cic.ml		diff \| blob \| history
helm/ocaml/cic/cicParser3.ml		diff \| blob \| history
helm/ocaml/cic/deannotate.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicXPath.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/logic_notation.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/cic2acic.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/cic2content.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/doubleTypeInference.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/eta_fixing.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicMiniReduction.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicPp.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicMetaSubst.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicMkImplicit.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicRefine.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicUnification.ml		diff \| blob \| history
helm/ocaml/cic_unification/freshNamesGenerator.ml		diff \| blob \| history
helm/ocaml/mathql_generator/cGMatchConclusion.ml		diff \| blob \| history
helm/ocaml/mathql_generator/cGSearchPattern.ml		diff \| blob \| history
helm/ocaml/tactics/primitiveTactics.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineReduction.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom