matita.cs.unibo.it Git - helm.git/commit - helm/software/components/cic_proof_checking/freshNamesGenerator.ml

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/cic_proof_checking/freshNamesGenerator.ml

projects / helm.git / commit

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 2 Jan 2007 18:03:59 +0000 (18:03 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 2 Jan 2007 18:03:59 +0000 (18:03 +0000)
commit	1c95887fc7af68023b8b682a34816d8fb4d0a716
tree	66fcadc6d787bbfdabb6cec76b4ae4155724c0d3	tree \| snapshot
parent	b00485292ea4aa35013415903c1a87a952eb21ad	commit \| diff

added oblivion_universe and used it in paxck_coercions

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