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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 23 Apr 2004 10:37:00 +0000 (10:37 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 23 Apr 2004 10:37:00 +0000 (10:37 +0000)
commit	c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944
tree	fc5a39a01398d779aa5a38eab183361061dce8ae	tree \| snapshot
parent	7af6bb6e640a44489bdab79a38300cf103e45bd4	commit \| diff

Universes introduction

27 files changed:

helm/ocaml/cic/.depend		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic/cic.ml		diff \| blob \| history
helm/ocaml/cic/cicParser3.ml		diff \| blob \| history
helm/ocaml/cic/cicUniv.ml	[new file with mode: 0644]	blob
helm/ocaml/cic/cicUniv.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/cic2acic.ml		diff \| blob \| history
helm/ocaml/cic_omdoc/doubleTypeInference.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/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualParser.mly		diff \| blob \| history
helm/ocaml/cic_transformations/.depend		diff \| blob \| history
helm/ocaml/cic_transformations/acic2Ast.ml		diff \| blob \| history
helm/ocaml/cic_transformations/cic2Xml.ml		diff \| blob \| history
helm/ocaml/cic_transformations/content_expressions.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/getter/.depend		diff \| blob \| history
helm/ocaml/mathql_generator/cGSearchPattern.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/.depend		diff \| blob \| history
helm/ocaml/tactics/.depend		diff \| blob \| history
helm/ocaml/tactics/primitiveTactics.ml		diff \| blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly		diff \| blob \| history

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

RSS Atom