projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 13 Jul 2005 10:09:01 +0000 (10:09 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 13 Jul 2005 10:09:01 +0000 (10:09 +0000) | ||
| commit | b5ab291cf2ad1431128dd0b1ab629169a3cdeb50 | |
| tree | c8c15c9ffc09e10972a87635e537f45b2fde330f | tree | snapshot |
| parent | 0a23b2111c404a0a7141a0d5729cf3aa0bdf7798 | commit | diff |
| helm/matita/library/Z/z.ma | diff | blob | history | |
| helm/matita/library/nat/compare.ma | diff | blob | history | |
| helm/matita/library/nat/minus.ma | diff | blob | history |