From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 30 Nov 2006 16:35:04 +0000 (+0000)
Subject: library/Fsub: minor fix
X-Git-Tag: 0.4.95@7852~759
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=38037e2a7f4779c6e17167a4bdb6f01ec32b5e62;hp=38037e2a7f4779c6e17167a4bdb6f01ec32b5e62;p=helm.git

library/Fsub: minor fix
---