From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 15 Nov 2006 09:06:10 +0000 (+0000)
Subject: Added lt_O_S.
X-Git-Tag: 0.4.95@7852~810
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57e4568829db52f1959006041d72036ae9663955;hp=57e4568829db52f1959006041d72036ae9663955;p=helm.git

Added lt_O_S.
---