]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98e40a0) | patch
New version of the library, a bit more structured.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jul 2005 07:20:13 +0000 (07:20 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jul 2005 07:20:13 +0000 (07:20 +0000)
commit244d65f63ca6a736b871f9f91328fe8c5524ff05
treeab8068461acbc5f54ac5b48cfabaff27449ee3a5tree | snapshot
parent98e40a03f92d6715db7f53460e761455621346f2commit | diff
New version of the library, a bit more structured.
15 files changed:
helm/matita/library/Z/z.ma [new file with mode: 0644] blob
helm/matita/library/datatypes/bool.ma [new file with mode: 0644] blob
helm/matita/library/datatypes/compare.ma [new file with mode: 0644] blob
helm/matita/library/higher_order_defs/functions.ma [new file with mode: 0644] blob
helm/matita/library/higher_order_defs/ordering.ma [new file with mode: 0644] blob
helm/matita/library/higher_order_defs/relations.ma [new file with mode: 0644] blob
helm/matita/library/logic/connectives.ma [new file with mode: 0644] blob
helm/matita/library/logic/equality.ma [new file with mode: 0644] blob
helm/matita/library/nat/compare.ma [new file with mode: 0644] blob
helm/matita/library/nat/minus.ma [new file with mode: 0644] blob
helm/matita/library/nat/nat.ma [new file with mode: 0644] blob
helm/matita/library/nat/orders.ma [new file with mode: 0644] blob
helm/matita/library/nat/orders_op.ma [new file with mode: 0644] blob
helm/matita/library/nat/plus.ma [new file with mode: 0644] blob
helm/matita/library/nat/times.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.