]> matita.cs.unibo.it Git - helm.git/commit
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Dec 2021 21:45:57 +0000 (22:45 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Dec 2021 21:45:57 +0000 (22:45 +0100)
commitdd41efaab7f147d5673cc30a27d36375f9b52c9d
treeaa03ad00fb09e4e631a0e99838f89e1924568582
parent742e21da086654af82f308027250d00b50d67f52
update in ground

+ additions and corrections on lists
matita/matita/contribs/lambdadelta/ground/lib/list.ma
matita/matita/contribs/lambdadelta/ground/lib/list_append.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/lib/list_eq.ma
matita/matita/contribs/lambdadelta/ground/lib/list_length.ma
matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/notation/functions/append_2.ma
matita/matita/contribs/lambdadelta/ground/notation/functions/oplus_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/notation/functions/oplusleft_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl