]>
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) | ||
commit | a45b20401c52a767eb8fef71a72be6dc5db8a02a | |
tree | 0b931a11eaaa65d33c93ad737672dbbe23693d4e | tree | snapshot |
parent | 395d32b86fb0c0eedde61017784f4c2105fb5253 | commit | diff |
helm/software/matita/library/technicalities/setoids.ma | diff | blob | history |