From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Thu, 30 Apr 2009 13:03:25 +0000 (+0000)
Subject: Added a passive table
X-Git-Tag: make_still_working~4029
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=da3031c3a830df0aaab4f57b63689a1b20d7ab89;hp=da3031c3a830df0aaab4f57b63689a1b20d7ab89;p=helm.git

Added a passive table
---