From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 25 Nov 2007 14:22:16 +0000 (+0000)
Subject: commented out things that DO NOT compile
X-Git-Tag: 0.4.98~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c52605b5b949f2ceafbe788c8f7bf7e74dc89b5c;hp=c52605b5b949f2ceafbe788c8f7bf7e74dc89b5c;p=helm.git

commented out things that DO NOT compile
---