]> matita.cs.unibo.it Git - helm.git/commit
added a function to reorder the metasenv.
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Sep 2005 16:15:02 +0000 (16:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Sep 2005 16:15:02 +0000 (16:15 +0000)
commit78044035b4419e569df0d7f6a7f96fa32d21a19d
treea80fbae76c1abd0ec4fcf27dc400b00f46b113bf
parentcf8ecd9f8168bcd1b1b6bdb058a4bfbbb374b696
added a function to reorder the metasenv.
19 files changed:
helm/matita/library/Makefile
helm/matita/library/Q/q.ma
helm/matita/library/Z/compare.ma
helm/matita/library/Z/orders.ma
helm/matita/library/Z/plus.ma
helm/matita/library/Z/times.ma
helm/matita/library/Z/z.ma
helm/matita/library/nat/compare.ma
helm/matita/library/nat/div_and_mod.ma
helm/matita/library/nat/factorization.ma
helm/matita/library/nat/gcd.ma
helm/matita/library/nat/log.ma
helm/matita/library/nat/minimization.ma
helm/matita/library/nat/minus.ma
helm/matita/library/nat/nth_prime.ma
helm/matita/library/nat/primes.ma
helm/matita/matita.txt
helm/matita/matitaEngine.ml
helm/matita/tests/metasenv_ordering.ma [new file with mode: 0644]