From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 7 Dec 2011 13:12:51 +0000 (+0000)
Subject: Closing some axioms...
X-Git-Tag: make_still_working~2043
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=537a73f4aca66ef57108a51cd9cc61b478571f33;hp=537a73f4aca66ef57108a51cd9cc61b478571f33;p=helm.git

Closing some axioms...
---