]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e53c9d7) | patch
Initial work on setoids:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Sep 2006 09:50:26 +0000 (09:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Sep 2006 09:50:26 +0000 (09:50 +0000)
commit5159ebf165bfc5015612cf8ce112ba89e68617bc
treea1d8deda560afc7f780286b96fb601bc907cb168tree | snapshot
parente53c9d7cf1a5d3d33c41cad5b046b018a62a9d2dcommit | diff
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
matita/library/technicalities/setoids.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.