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 21:32:01 +0000 (22:32 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 28 Feb 2021 21:32:01 +0000 (22:32 +0100)
commit	77c9255de3c5f7780aeacd745703a1cc76328a68
tree	d750dc9c8c66528459e1247e901c745a65c8d288	tree \| snapshot
parent	ca318d6d92098c3a65c9f0841174ca110c82e064	commit \| diff

update in ground

+ notation restyled

55 files changed:

matita/matita/contribs/lambdadelta/bin/recomm/dGroundLib.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundLib.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/append_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/apply_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/basic_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/circledE_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/cocompose_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/diamond_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/downarrow_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/downspoon_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/downspoonstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/droppred_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/droppreds_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/exp_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/identity_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/infinity_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/no_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/one_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/onezero_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/oplusright_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/semicolon_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/tuple_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/two_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/uniform_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/uparrow_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/uparrowstar_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/updownarrowstar_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/upspoon_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/upspoonstar_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/yes_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/zero_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/zeroone_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/zerozero_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ideq_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isdivergent_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isfinite_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isidentity_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ism_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ist_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ist_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isuniform_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/parallel_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rafter_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rat_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rcoafter_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rcolength_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ringeq_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rintersection_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rminus_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/runion_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/and_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/false_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/xoa/true_0.ma		diff \| blob \| history

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

RSS Atom