matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4d6bf14) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Mon, 22 Aug 2005 08:05:32 +0000 (08:05 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Mon, 22 Aug 2005 08:05:32 +0000 (08:05 +0000)
commit	03fcee16d9c262aad38a47d0a409b684a965cc3f
tree	93a2bec3024fc6217c1b25c58ee9a1333198f806	tree \| snapshot
parent	4d6bf14d95252ecfd1aaca4568184b4d6dee9b24	commit \| diff

The library grows...

14 files changed:

helm/matita/library/Z/orders.ma		diff \| blob \| history
helm/matita/library/Z/times.ma		diff \| blob \| history
helm/matita/library/Z/z.ma		diff \| blob \| history
helm/matita/library/datatypes/bool.ma		diff \| blob \| history
helm/matita/library/datatypes/compare.ma		diff \| blob \| history
helm/matita/library/higher_order_defs/functions.ma		diff \| blob \| history
helm/matita/library/nat/compare.ma		diff \| blob \| history
helm/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/matita/library/nat/exp.ma		diff \| blob \| history
helm/matita/library/nat/lt_arith.ma		diff \| blob \| history
helm/matita/library/nat/minus.ma		diff \| blob \| history
helm/matita/library/nat/nat.ma		diff \| blob \| history
helm/matita/library/nat/orders.ma		diff \| blob \| history
helm/matita/library/nat/times.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.