]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 and ground_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 26 Jul 2018 21:17:45 +0000 (23:17 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 26 Jul 2018 21:17:45 +0000 (23:17 +0200)
commitb634a816745cf8a9a7ad14650d088232c8ee1a1a
tree25b28b8be02e9c60cab3d1e3aa1d4bd9a6b4f79a
parentcc600ed1e115d5566947288d532a1e89d989227f
update in basic_2 and ground_2

+ auxiliary lemmas for preservation begin
+ one addition in the arith library
+ some typos in names fixed
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_drops.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_etc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lpr.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc/fpbs/fpbs_lfprs.etc
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbg.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma