From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 12 Oct 2007 09:57:49 +0000 (+0000)
Subject: Reorganization of results.
X-Git-Tag: 0.4.95@7852~140
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c0d9ea5098c4b271fce972b685ea6a1ed4cd671;hp=9c0d9ea5098c4b271fce972b685ea6a1ed4cd671;p=helm.git

Reorganization of results.
---