]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 26 Sep 2005 11:06:32 +0000 (11:06 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 26 Sep 2005 11:06:32 +0000 (11:06 +0000) | ||
commit | c3b6e22034e3029195031d31c94983c381ae659b | |
tree | 47aed5d632c97b35140eaf139fe7fac3298d8e43 | tree | snapshot |
parent | 15e1fe3260e890b9a206b898084e8f19253a13b7 | commit | diff |
helm/matita/library/nat/compare.ma | diff | blob | history | |
helm/matita/library/nat/permutation.ma | [new file with mode: 0644] | blob |
helm/matita/library/nat/sigma_and_pi.ma | diff | blob | history |