From: Claudio Sacerdoti Coen Date: Mon, 10 Jun 2002 10:51:12 +0000 (+0000) Subject: Syntax error. X-Git-Tag: V_0_3_0_debian_8~61 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=6a1e520744f0554f3001eb89b0e0466d718b73f4;hp=6a1e520744f0554f3001eb89b0e0466d718b73f4;p=helm.git Syntax error. ---