]> matita.cs.unibo.it Git - helm.git/commit
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 28 Feb 2021 21:32:01 +0000 (22:32 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 28 Feb 2021 21:32:01 +0000 (22:32 +0100)
commit77c9255de3c5f7780aeacd745703a1cc76328a68
treed750dc9c8c66528459e1247e901c745a65c8d288
parentca318d6d92098c3a65c9f0841174ca110c82e064
update in ground

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