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:54:43 +0000 (20:54 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 28 Feb 2021 19:54:43 +0000 (20:54 +0100)
commit	ca318d6d92098c3a65c9f0841174ca110c82e064
tree	9b4679112c46b3be5f9c595133b55582a08a366a	tree \| snapshot
parent	ae626612bff9c3746dd7647bbada791c737e348c	commit \| diff

update in ground

+ xoa restyled
+ missing files committed

98 files changed:

matita/components/binaries/xoa/engine.ml		diff \| blob \| history
matita/components/binaries/xoa/lib.ml		diff \| blob \| history
matita/components/binaries/xoa/lib.mli		diff \| blob \| history
matita/components/binaries/xoa/xoa.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundLib.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_le.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/ltc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/and_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/and_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_1_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_1_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_1_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_2_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_9.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_10.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_8_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_8_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_9_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/and_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/and_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_1_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_1_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_1_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_2_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_1_props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_9.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_10.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_8_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_8_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/ex_9_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/or_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/or_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/xoa/or_5.ma		diff \| blob \| history

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

RSS Atom