projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 14 Aug 2009 17:24:45 +0000 (17:24 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 14 Aug 2009 17:24:45 +0000 (17:24 +0000) | ||
| commit | c6d3537eee27d05490a9555cc7326bc954b356c5 | |
| tree | e71b51fe1d2d136a2651d048d2ef45c2a3daab0f | tree | snapshot |
| parent | 95790a98e2336d7fd9ad2a40caecc4a145de3e76 | commit | diff |
| helm/software/matita/nlibrary/datatypes/bool.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/depends | diff | blob | history | |
| helm/software/matita/nlibrary/nat/big_ops.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/nat/compare.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/nat/minus.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/nat/nat.ma | diff | blob | history | |
| helm/software/matita/nlibrary/nat/order.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/nat/plus.ma | diff | blob | history | |
| helm/software/matita/nlibrary/sets/partitions.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/sets/sets.ma | diff | blob | history |