]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28b55bc) | patch
- new component for restricted computation (delta, zeta and tau only)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 7 Apr 2013 21:36:03 +0000 (21:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 7 Apr 2013 21:36:03 +0000 (21:36 +0000)
commit6d3e67a714d59ff5d0da7aff72323a6d2ac07db4
tree5b1a2f40be22a3af2cfa8f0bbca203de85c4f2bdtree | snapshot
parent28b55bc982671bad6514751c3a368b6cc6cbeec7commit | diff
- new component for restricted computation (delta, zeta and tau only)
- subclosure preseves native validity asexpected
- some renaming
25 files changed:
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_append.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_px_sn.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/restricted/cpqs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/restricted/cpqs_lift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/restricted/lpqs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/restricted/lpqs_cpqs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/restricted/lpqs_ldrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/restricted/lpqs_lpqs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_lpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_lpx_sn.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/unfold/cpss.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/cpss_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/lcpss.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/lcpss_cpss.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/lcpss_lcpss.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/lcpss_ldrop.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/lpss.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lpss_cpss.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lpss_ldrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lpss_lpss.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.