From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 10 May 2004 09:40:33 +0000 (+0000)
Subject: Adding file match_concl
X-Git-Tag: V_0_0_9~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5930f13b2d863abbff240ffa985bcc064c7a5ab8;hp=5930f13b2d863abbff240ffa985bcc064c7a5ab8;p=helm.git

Adding file match_concl
the file contains:
   - functions executing must, just and only constraints on the mysql
     data base;
   - the general function cmatch for retrieving all statements matching
     a given conclusion
---