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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 28 Feb 2021 19:38:50 +0000 (20:38 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 28 Feb 2021 19:38:50 +0000 (20:38 +0100)
commit	ae626612bff9c3746dd7647bbada791c737e348c
tree	60c64d8d32b8a981bf531e75a98aaa3880656e02	tree \| snapshot
parent	4d232392091ee233afc26ecf3120dd5f5c6a33c8	commit \| diff

update in gruound

+ library refactored and restyled
+ recomm updated

38 files changed:

matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/dGroundLib.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcOutput.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/pGroundLib.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundLib.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundLib.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundLib.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundLib.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundLib.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundLib.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundLib.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundLib.mli	[new file with mode: 0644]	blob
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/recommPccFor.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/sWith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_le_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/generated/insert_eq_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/generated/pull_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/generated/pull_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/insert_eq/insert_eq_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/lib/exteq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list_eq.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/pull/pull_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/pull/pull_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/nstream.ma		diff \| blob \| history

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

RSS Atom