From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 12 Jan 2006 10:38:12 +0000 (+0000)
Subject: branch for one-shot tests (use and throw away branch)
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=a14a8c7637fd0b95e9d4deccb20c6abc98e8f953

branch for one-shot tests (use and throw away branch)
---