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. ---