From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 20 Jul 2003 15:37:04 +0000 (+0000)
Subject: cic2content.ml* moved from cic_transformations to cic_omdoc.
X-Git-Tag: LucaOK~56
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9e781c8957ff049e7bba65e1d611e5f007b02fb5;hp=9e781c8957ff049e7bba65e1d611e5f007b02fb5;p=helm.git

cic2content.ml* moved from cic_transformations to cic_omdoc.
---