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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 22 Apr 2008 19:18:53 +0000 (19:18 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 22 Apr 2008 19:18:53 +0000 (19:18 +0000)
commit	2e2648a9ed26d9b813de8e6a10e2776162565f09
tree	3b4437e66e708ae4e789031bf95b0cb451e9c725	tree \| snapshot
parent	5cd2efd21063b304c30a9486a562bdff7852957b	commit \| diff

oblivion ugraph everywhere outside the kernel

41 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/acic2Procedural.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralConversion.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralHelpers.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralOptimizer.ml		diff \| blob \| history
helm/software/components/cic_acic/cic2acic.ml		diff \| blob \| history
helm/software/components/cic_acic/doubleTypeInference.ml		diff \| blob \| history
helm/software/components/cic_acic/eta_fixing.ml		diff \| blob \| history
helm/software/components/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/software/components/cic_exportation/cicExportation.ml		diff \| blob \| history
helm/software/components/cic_unification/cicRefine.ml		diff \| blob \| history
helm/software/components/cic_unification/coercGraph.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteSync.ml		diff \| blob \| history
helm/software/components/lexicon/lexiconSync.ml		diff \| blob \| history
helm/software/components/library/cicElim.ml		diff \| blob \| history
helm/software/components/library/cicRecord.ml		diff \| blob \| history
helm/software/components/library/librarySync.ml		diff \| blob \| history
helm/software/components/metadata/metadataConstraints.ml		diff \| blob \| history
helm/software/components/metadata/metadataExtractor.ml		diff \| blob \| history
helm/software/components/tactics/auto.ml		diff \| blob \| history
helm/software/components/tactics/closeCoercionGraph.ml		diff \| blob \| history
helm/software/components/tactics/declarative.ml		diff \| blob \| history
helm/software/components/tactics/destructTactic.ml		diff \| blob \| history
helm/software/components/tactics/eliminationTactics.ml		diff \| blob \| history
helm/software/components/tactics/equalityTactics.ml		diff \| blob \| history
helm/software/components/tactics/fwdSimplTactic.ml		diff \| blob \| history
helm/software/components/tactics/inversion.ml		diff \| blob \| history
helm/software/components/tactics/inversion_principle.ml		diff \| blob \| history
helm/software/components/tactics/metadataQuery.ml		diff \| blob \| history
helm/software/components/tactics/negationTactics.ml		diff \| blob \| history
helm/software/components/tactics/primitiveTactics.ml		diff \| blob \| history
helm/software/components/tactics/proofEngineReduction.ml		diff \| blob \| history
helm/software/components/tactics/proofEngineStructuralRules.ml		diff \| blob \| history
helm/software/components/tactics/reductionTactics.ml		diff \| blob \| history
helm/software/components/tactics/ring.ml		diff \| blob \| history
helm/software/components/tactics/setoids.ml		diff \| blob \| history
helm/software/components/tactics/tacticChaser.ml		diff \| blob \| history
helm/software/components/tactics/universe.ml		diff \| blob \| history
helm/software/components/tactics/variousTactics.ml		diff \| blob \| history

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

RSS Atom