From: Enrico Zoli <??>
Date: Mon, 16 Oct 2006 16:49:51 +0000 (+0000)
Subject: Beginning of the development of integration algebras.
X-Git-Tag: make_still_working~6748
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=90e10129b522bd9058f69d268b7c72dfd80479d9;hp=90e10129b522bd9058f69d268b7c72dfd80479d9;p=helm.git

Beginning of the development of integration algebras.
---