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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 16 Sep 2005 16:15:02 +0000 (16:15 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 16 Sep 2005 16:15:02 +0000 (16:15 +0000)
commit	78044035b4419e569df0d7f6a7f96fa32d21a19d
tree	a80fbae76c1abd0ec4fcf27dc400b00f46b113bf	tree \| snapshot
parent	cf8ecd9f8168bcd1b1b6bdb058a4bfbbb374b696	commit \| diff

added a function to reorder the metasenv.

19 files changed:

helm/matita/library/Makefile		diff \| blob \| history
helm/matita/library/Q/q.ma		diff \| blob \| history
helm/matita/library/Z/compare.ma		diff \| blob \| history
helm/matita/library/Z/orders.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/nat/compare.ma		diff \| blob \| history
helm/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/matita/library/nat/factorization.ma		diff \| blob \| history
helm/matita/library/nat/gcd.ma		diff \| blob \| history
helm/matita/library/nat/log.ma		diff \| blob \| history
helm/matita/library/nat/minimization.ma		diff \| blob \| history
helm/matita/library/nat/minus.ma		diff \| blob \| history
helm/matita/library/nat/nth_prime.ma		diff \| blob \| history
helm/matita/library/nat/primes.ma		diff \| blob \| history
helm/matita/matita.txt		diff \| blob \| history
helm/matita/matitaEngine.ml		diff \| blob \| history
helm/matita/tests/metasenv_ordering.ma	[new file with mode: 0644]	blob

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