From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 22 Jul 2011 16:03:27 +0000 (+0000)
Subject: confluence of reduction started ...
X-Git-Tag: make_still_working~2354
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d9c872a9203fb4f69d9962d68b8ee64881f8a949;hp=d9c872a9203fb4f69d9962d68b8ee64881f8a949;p=helm.git

confluence of reduction started ...
---