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: 549a7d1) | 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	b1c222ae8d9bee83d6c5723533a1395d7353893a
tree	5e541b63e8e9d1620df833b84a1170437adea1ae	tree \| snapshot
parent	549a7d1631ea4d9f3de91ddb45ef5a5a3da6677a	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.