]>
author | acciavat <??> | |
Thu, 12 Oct 2006 09:39:45 +0000 (09:39 +0000) | ||
committer | acciavat <??> | |
Thu, 12 Oct 2006 09:39:45 +0000 (09:39 +0000) | ||
commit | 3a5e423de380a64589a91afdf99495b2b7db788c | |
tree | 6ba3037ed49d17cea71f81f5ef87d2fb1309aaa2 | tree | snapshot |
parent | 8c3aef9fbe24897abe1d9e92f8138ba01eaa3067 | commit | diff |
helm/software/matita/contribs/CoRN/algebra/SetoidFun.ma | [new file with mode: 0644] | blob |
helm/software/matita/contribs/CoRN/algebra/Setoids.ma | [new file with mode: 0644] | blob |