From: denes <??>
Date: Tue, 28 Jul 2009 17:50:37 +0000 (+0000)
Subject: Various architectural changes
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=38c54dd8e2234836d5f3e8011c478daf7d59fa25;hp=38c54dd8e2234836d5f3e8011c478daf7d59fa25;p=helm.git

Various architectural changes
---