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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 25 Oct 2005 13:48:39 +0000 (13:48 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 25 Oct 2005 13:48:39 +0000 (13:48 +0000)
commit	fb94e5a71be508516514dfe50528ccfb3cd2da91
tree	d22ef2fb4d1774fb65c57c03fcfdd1db794c12f0	tree \| snapshot
parent	0a0be269948344318ebbab5593b458aa95313df8	commit \| diff

ported to new syntactic requirement about terms being surrounded by parens

38 files changed:

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/logic/equality.ma		diff \| blob \| history
helm/matita/library/nat/compare.ma		diff \| blob \| history
helm/matita/library/nat/congruence.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/factorization.ma		diff \| blob \| history
helm/matita/library/nat/fermat_little_theorem.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/lt_arith.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/nat.ma		diff \| blob \| history
helm/matita/library/nat/nth_prime.ma		diff \| blob \| history
helm/matita/library/nat/ord.ma		diff \| blob \| history
helm/matita/library/nat/orders.ma		diff \| blob \| history
helm/matita/library/nat/permutation.ma		diff \| blob \| history
helm/matita/library/nat/plus.ma		diff \| blob \| history
helm/matita/library/nat/primes.ma		diff \| blob \| history
helm/matita/library/nat/relevant_equations.ma		diff \| blob \| history
helm/matita/library/nat/sigma_and_pi.ma		diff \| blob \| history
helm/matita/library/nat/times.ma		diff \| blob \| history
helm/matita/tests/change.ma		diff \| blob \| history
helm/matita/tests/clear.ma		diff \| blob \| history
helm/matita/tests/continuationals.ma	[new file with mode: 0644]	blob
helm/matita/tests/cut.ma		diff \| blob \| history
helm/matita/tests/inversion.ma		diff \| blob \| history
helm/matita/tests/metasenv_ordering.ma		diff \| blob \| history
helm/matita/tests/replace.ma		diff \| blob \| history
helm/matita/tests/simpl.ma		diff \| blob \| history
helm/matita/tests/test3.ma		diff \| blob \| history

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

RSS Atom