From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 26 May 2007 15:48:12 +0000 (+0000)
Subject: log.ma is now created. But it does not contain the exact sequence of things
X-Git-Tag: make_still_working~6290
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=04897997ffd457cdc038f0b22fb8766821a865a8;hp=04897997ffd457cdc038f0b22fb8766821a865a8;p=helm.git

log.ma is now created. But it does not contain the exact sequence of things
proved by auto.
width=2 does not seem to hurt!
the graph is now really acyclic (I swear).
---