From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 25 Jun 2003 12:26:38 +0000 (+0000)
Subject: Removed (it should have already been in ocaml/tactics)
X-Git-Tag: camera_ready~53
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=4b0a298d79b4033ebdf0ca6713c6cda34d00fd32;hp=4b0a298d79b4033ebdf0ca6713c6cda34d00fd32;p=helm.git

Removed (it should have already been in ocaml/tactics)
---