]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51b414e) | patch
- ext2_tc added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 17 Nov 2017 14:34:37 +0000 (14:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 17 Nov 2017 14:34:37 +0000 (14:34 +0000)
commit7cf2232827c06c7e85a9bc3be005f9134d5b869d
tree3ca452dec4d949b89cd89f646d5b44bfe84e0bfbtree | snapshot
parent51b414e3a6f7404b16cab112e94f57aaa94a5239commit | diff
- ext2_tc added
- lexs_tc reconstructed
- support for lex (was lpx_sn) reintroduced
- fixed a bug about ceq
15 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_tc.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_lfeq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relation_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_tc.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/ceq_ext_ceq_ext.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/ext2_tc.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_ceq.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.