From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 7 Jul 2009 13:15:30 +0000 (+0000)
Subject: Let's play a bit with NG.
X-Git-Tag: make_still_working~3745
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7a9b394943d524181128816a4b02152aa79929fe;hp=7a9b394943d524181128816a4b02152aa79929fe;p=helm.git

Let's play a bit with NG.
This library is NOT meant to be the final one, just a way to experiment with
features.
---