From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 18 Nov 2011 12:27:16 +0000 (+0000)
Subject: support for candidates of reducibility started ...
X-Git-Tag: make_still_working~2093
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fc7af5f9ea2cd4a876b8babc6b691136799e3c87;hp=fc7af5f9ea2cd4a876b8babc6b691136799e3c87;p=helm.git

support for candidates of reducibility started ...
---