From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 8 Jan 2010 09:29:51 +0000 (+0000)
Subject: The body of constants is a reference, not the actual body!
X-Git-Tag: make_still_working~3136
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3186d490cc27c447ee3ae5c4cf6b5d8cef0ee5d;hp=c3186d490cc27c447ee3ae5c4cf6b5d8cef0ee5d;p=helm.git

The body of constants is a reference, not the actual body!
---