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

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Fri, 5 Jun 2009 13:27:14 +0000 (13:27 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Fri, 5 Jun 2009 13:27:14 +0000 (13:27 +0000)
commit	3fb8cc2606e15f256f93c653b5136f609b385208
tree	5bac84347b61084446f1e162afbfe8f169444cc4	tree \| snapshot
parent	233826389b4c0c4192c1eb1cacc8cfa99b2750f4	commit \| diff

- replaced part1a/defn with the version based on induction/inversion and deleted
older version
- more minor improvements

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