]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dec595) | patch
- lenv refinement for stratified native validity redefined
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Mar 2013 17:14:31 +0000 (17:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Mar 2013 17:14:31 +0000 (17:14 +0000)
commit037b48dbbc0b4373ad1e43d837ac9158787486ef
tree211feaca0fb5e983c99d5352ffc83f81d4fc143etree | snapshot
parent0dec595530e6da8ca16af84e40b59c998e6ed4afcommit | diff
- lenv refinement for stratified native validity redefined
- contrib specufic web pages moved here
16 files changed:
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_ldrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_snv.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubsv/lsubsv.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubsv/lsubsv_ldrop.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubsv/lsubsv_snv.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_blk.tbl [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.