]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6fd7c3) | patch
- free variables innclusion (fle) encapsulates some complexity
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Nov 2017 15:45:35 +0000 (15:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Nov 2017 15:45:35 +0000 (15:45 +0000)
commit02128ad2d07f4763e311a7f449d87aa022014c1f
tree31bc947287ca9c6042a1428fc8883eb575688b99tree | snapshot
parentf6fd7c37170e17fa29ee835cdff3922ac11be398commit | diff
- free variables innclusion (fle) encapsulates some complexity
  in the proof of a generalization of frees_lfxs_conf
- a refactoring solves a bug in dependences
15 files changed:
matita/matita/contribs/lambdadelta/basic_2/notation/relations/subseteq_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_lfxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_frees.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_frees.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/fle.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/fle_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/fle_fle.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/fle_fqup.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fle.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lex.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.