]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Thu, 23 Nov 2006 13:56:30 +0000 (13:56 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Thu, 23 Nov 2006 13:56:30 +0000 (13:56 +0000) |
matita/library/technicalities/setoids.ma | patch | blob | history |