From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Feb 2005 12:07:41 +0000 (+0000)
Subject: removed chosenTransformer.ml*
X-Git-Tag: V_0_1_0~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e54260c3938b4ec99e52ec7ca0297db6f7937cb1;hp=e54260c3938b4ec99e52ec7ca0297db6f7937cb1;p=helm.git

removed chosenTransformer.ml*
---