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: a03b642) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 11 Jul 2006 08:19:16 +0000 (08:19 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 11 Jul 2006 08:19:16 +0000 (08:19 +0000)
commit	b0bbbe6ec20a0afa145c1e6d92530105d9d4d7e3
tree	8b8445bd97f5a9fb33792c1e9f16c1836a4089e8	tree \| snapshot
parent	a03b64206ee8c1769adf987d08090d9b59ceefe1	commit \| diff

- removed Positive and Negative (all is positive)
- eq_f and eq_f1 used in proofs

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