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: fcabdf5) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Sep 2005 09:20:00 +0000 (09:20 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Sep 2005 09:20:00 +0000 (09:20 +0000)
commit	5a702cea95883f7095c16b450e065ccb1714fc5a
tree	685a659ba2f7f8daa6885f9c4b54a9e0460c1fa3	tree \| snapshot
parent	fcabdf5805add91a036fe5d11c7f47cfcec91d56	commit \| diff

.ma inclusions corrected/minimized

19 files changed:

helm/matita/library/Q/q.ma		diff \| blob \| history
helm/matita/library/Z/compare.ma		diff \| blob \| history
helm/matita/library/Z/plus.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/higher_order_defs/functions.ma		diff \| blob \| history
helm/matita/library/logic/equality.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/factorial.ma		diff \| blob \| history
helm/matita/library/nat/gcd.ma		diff \| blob \| history
helm/matita/library/nat/le_arith.ma		diff \| blob \| history
helm/matita/library/nat/log.ma		diff \| blob \| history
helm/matita/library/nat/lt_arith.ma		diff \| blob \| history
helm/matita/library/nat/nat.ma		diff \| blob \| history
helm/matita/library/nat/nth_prime.ma		diff \| blob \| history
helm/matita/library/nat/orders.ma		diff \| blob \| history
helm/matita/library/nat/primes1.ma		diff \| blob \| history
helm/matita/library/nat/sigma_and_pi.ma		diff \| blob \| history

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