From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 10 May 2005 10:58:28 +0000 (+0000)
Subject: moved up xml, now needed by CicParser
X-Git-Tag: single_binding~90
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f693e2de79c1a95422a5efd22acbcea5003eeaba;hp=f693e2de79c1a95422a5efd22acbcea5003eeaba;p=helm.git

moved up xml, now needed by CicParser
---