]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 14 Aug 2009 17:24:45 +0000 (17:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 14 Aug 2009 17:24:45 +0000 (17:24 +0000)
commitc6d3537eee27d05490a9555cc7326bc954b356c5
treee71b51fe1d2d136a2651d048d2ef45c2a3daab0f
parent95790a98e2336d7fd9ad2a40caecc4a145de3e76
...
helm/software/matita/nlibrary/datatypes/bool.ma [new file with mode: 0644]
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/nat/big_ops.ma [new file with mode: 0644]
helm/software/matita/nlibrary/nat/compare.ma [new file with mode: 0644]
helm/software/matita/nlibrary/nat/minus.ma [new file with mode: 0644]
helm/software/matita/nlibrary/nat/nat.ma
helm/software/matita/nlibrary/nat/order.ma [new file with mode: 0644]
helm/software/matita/nlibrary/nat/plus.ma
helm/software/matita/nlibrary/sets/partitions.ma [new file with mode: 0644]
helm/software/matita/nlibrary/sets/sets.ma