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: 45df625) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 5 Feb 2004 11:33:09 +0000 (11:33 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 5 Feb 2004 11:33:09 +0000 (11:33 +0000)
commit	7b922ad1f9832c1edb3acea8f0c910fa2c0c20e5
tree	b154a6368b23524abba9db8a28b2b9749e9965e7	tree \| snapshot
parent	45df6252e22ddffc4874083383113594f7ee64fb	commit \| diff

mk_fresh_name moved to FreshNamesGenerator.

helm/gTopLevel/gTopLevel.ml		diff \| blob \| history
helm/ocaml/cic_unification/.depend		diff \| blob \| history
helm/ocaml/cic_unification/freshNamesGenerator.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_unification/freshNamesGenerator.mli	[new file with mode: 0644]	blob
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/tactics/proofEngineHelpers.mli		diff \| blob \| history
helm/ocaml/tactics/variousTactics.ml		diff \| blob \| history

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