]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67fe9ce) | patch
update in ground_2 and basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 Sep 2019 18:12:31 +0000 (20:12 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 Sep 2019 18:12:31 +0000 (20:12 +0200)
commitb4f76b0d8fa0e5365fb48e91474febe200b647a7
tree9e9d641b95c6e210887df1070dbdb8d59b4f01fftree | snapshot
parent67fe9cec87e129a2a41c75d7ed8456a6f3314421commit | diff
update in ground_2 and basic_2

+ initial support for t-transition (the core of inferred type assignment)
12 files changed:
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pty_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ptystar_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt_cpm.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/istype_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_max.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_plus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_shift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.