]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6282b0) | patch
- ground_2: rtmap: disjointness relation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 Nov 2017 19:36:51 +0000 (19:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 Nov 2017 19:36:51 +0000 (19:36 +0000)
commitcafb43926d8553c5b7f8dafcb5d734783c19bbfb
tree6235386e155c63e026ce1c8beff3835c77aa490atree | snapshot
parente6282b0c066eee7329560e1929150776ca64aa4acommit | diff
- ground_2: rtmap: disjointness relation
-           lib: some additions
- basic_2: first version of tc_lfxs_inv_lex_lfeq
           some improvements
           new explanatory column in basic_2_src.tbl
17 files changed:
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_fqup.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_lfeq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_tc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqup.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_fqup.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/compile_partial.sh [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/compile_static.sh [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/parallel_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sdj.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/partial_compile.sh [deleted file] blob | history
matita/matita/contribs/lambdadelta/static.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.