From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 28 Aug 2008 10:47:30 +0000 (+0000)
Subject: new baseuri for procedural CoRN
X-Git-Tag: make_still_working~4832
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3b2d7d538f93a97dc8992747b697600a9df869c;hp=f3b2d7d538f93a97dc8992747b697600a9df869c;p=helm.git

new baseuri for procedural CoRN
to follow the discharge name convention adopted in applyTransformation
---