From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Jun 2003 12:55:21 +0000 (+0000)
Subject: No longer used.
X-Git-Tag: V7_3_new_exportation_merged~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ab8deedf15664da792e98b522a82b05469294f5b

No longer used.
---