From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 27 Sep 2006 09:50:26 +0000 (+0000)
Subject: Initial work on setoids:
X-Git-Tag: make_still_working~6849
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=4c2efa45d1b98541e7a68bb4ef676f5a9788a9eb;hp=4c2efa45d1b98541e7a68bb4ef676f5a9788a9eb;p=helm.git

Initial work on setoids:
 - AST changed to make it more parametric on terms (for the Relation command)
 - functions that work on ASTs consider the constructors in alphabetical order
 - initial translation from Coq to Matita of library/technicalities/setoids.ma
---