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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 68dbcd0) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 14 May 2009 14:32:39 +0000 (14:32 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 14 May 2009 14:32:39 +0000 (14:32 +0000)
commit	2b837ca9e298eb44eee95d9ca0e331c577785dcb
tree	61f341c132db1d46681cee7231a2e7969c5e10d8	tree \| snapshot
parent	68dbcd02022874a025a9444aa1125b0458816fbb	commit \| diff

- hExtlib: added debugging information for split_nth

nat/plus.ma reconstructed :)

19 files changed:

helm/software/components/acic_content/acic2content.ml		diff \| blob \| history
helm/software/components/acic_content/termAcicContent.ml		diff \| blob \| history
helm/software/components/acic_procedural/procedural2.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralOptimizer.ml		diff \| blob \| history
helm/software/components/cic_proof_checking/cicDischarge.ml		diff \| blob \| history
helm/software/components/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
helm/software/components/cic_unification/cicRefine.ml		diff \| blob \| history
helm/software/components/content_pres/content2pres.ml		diff \| blob \| history
helm/software/components/extlib/hExtlib.ml		diff \| blob \| history
helm/software/components/extlib/hExtlib.mli		diff \| blob \| history
helm/software/components/metadata/metadataDeps.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicReduction.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicTypeChecker.ml		diff \| blob \| history
helm/software/components/ng_kernel/oCic2NCic.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnification.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
helm/software/components/tactics/closeCoercionGraph.ml		diff \| blob \| history
helm/software/components/tactics/destructTactic.ml		diff \| blob \| history

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