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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 27 Feb 2021 21:54:36 +0000 (22:54 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 27 Feb 2021 21:54:36 +0000 (22:54 +0100)
commit	4d232392091ee233afc26ecf3120dd5f5c6a33c8
tree	41555c4587976e81ab275c826b5debd1498c9233	tree \| snapshot
parent	da0775e27b362e91ea1453a800bc403781cc2ca3	commit \| diff

update in ground

+ arith restyled
+ recomm updated

56 files changed:

matita/matita/contribs/lambdadelta/bin/recomm/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/bGroundArith.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/dGroundArith.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcOutput.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/pGroundArith.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/rGroundCounters.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommCheck.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundArith.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundArith.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundCounters.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundArith.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundArith.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundCounters.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundArith.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundArith.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundCounters.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsAttr.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsMain.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsWith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommOutput.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommPcsAnd.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommPcsPar.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommPcsPar.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommStep.mli		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/sAttr.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/sWith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_le_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_pred_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/pnat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_le_lminus_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_lminus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_lminus_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_le_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lt_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_pred_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqg_length.ma		diff \| blob \| history

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

RSS Atom