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

author	Alberto Griggio <griggio@fbk.eu>
	Fri, 1 Jul 2005 19:08:05 +0000 (19:08 +0000)
committer	Alberto Griggio <griggio@fbk.eu>
	Fri, 1 Jul 2005 19:08:05 +0000 (19:08 +0000)
commit	e61d023695578ebf09d487480e6e7cac3a2dd2ee
tree	01d4efe531d00919ff34ccc322f8668dfdcb0f22	tree \| snapshot
parent	ba9a57375b50e0527bf0d48f189f7e3129bbe99f	commit \| diff

fixed bug in proof generation, new weight function to sort equalities, which
gives a huge speedup

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