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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 2 May 2005 12:52:30 +0000 (12:52 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 2 May 2005 12:52:30 +0000 (12:52 +0000)
commit	6fa3218efdfca5dd28fee2ef7a8c5e8de67ce829
tree	53c2b5ce00fccdda1fdb702079df04efdbb2c8b4	tree \| snapshot
parent	d450cacb49707a71fe93489a1bf64db4689612d6	commit \| diff

removed no_inconcl_aux, no_concl_hyp, no_hyp and added count

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