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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 2 Dec 2003 17:11:10 +0000 (17:11 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 2 Dec 2003 17:11:10 +0000 (17:11 +0000)
commit	296b163c8a2b09a6f87cbab15c2016de92fc8e70
tree	91932d31234c8b1b2030fecb00cfc366c792d8b4	tree \| snapshot
parent	dbc32b5c1cdca97e64d63f9877a0d3b6e1baeaa1	commit \| diff

sort CProp added

24 files changed:

helm/Makefile		diff \| blob \| history
helm/gTopLevel/.depend		diff \| blob \| history
helm/gTopLevel/Makefile		diff \| blob \| history
helm/gTopLevel/gTopLevel.ml		diff \| blob \| history
helm/gTopLevel/termViewer.ml		diff \| blob \| history
helm/ocaml/cic/cic.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/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualLexer.mll		diff \| blob \| history
helm/ocaml/cic_textual_parser/cicTextualParser.mly		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/cicRefine.ml		diff \| blob \| history
helm/ocaml/mathql_generator/cGSearchPattern.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQGTypes.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQGUtil.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQueryTLexer.mll		diff \| blob \| history
helm/ocaml/tactics/equalityTactics.ml		diff \| blob \| history
helm/ocaml/tactics/primitiveTactics.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineHelpers.ml		diff \| blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll		diff \| blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly		diff \| blob \| history

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