From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 20 Jul 2003 11:23:58 +0000 (+0000)
Subject: cic_transformations factorized into cic_omdoc and cic_transformations.
X-Git-Tag: LucaOK~59
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bcd14a9ed245ccae631697a05ff5a377c02b179;hp=4bcd14a9ed245ccae631697a05ff5a377c02b179;p=helm.git

cic_transformations factorized into cic_omdoc and cic_transformations.
---