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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 17 Feb 2021 16:40:28 +0000 (17:40 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 17 Feb 2021 16:40:28 +0000 (17:40 +0100)
commit	6604a232815858a6c75dd25ac45abd68438077ff
tree	595904e7a71f6ee55661ccc2b34d29891f68083c	tree \| snapshot
parent	888840f6b3a71d3d686b53b702d362ab90ab0038	commit \| diff

propagating the arithmetics library, partial commit

+ lib ported
+ minor corrections and renaming
+ old parked version of ynat removed

45 files changed:

matita/matita/contribs/lambdadelta/ground/arith/arith_2b.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_le.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_lminus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_lminus_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_lminus_succ.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_minus1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_minus1_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_minus1_succ.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus_succ.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_lminus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_lminus_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_minus1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_minus1_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_lminus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_lminus_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_minus1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_minus1_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_minus1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_minus1_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_minus1_succ.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat_iszero.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat_le.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat_pred.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/lib/bool.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/bool_and.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/bool_or.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/exteq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/logic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/lstar_2a.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/ltc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/ltc_ctc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/relations.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/star.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl		diff \| blob \| history

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

RSS Atom