]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63c047c) | patch
- we introduce stratified term equivalence to remove the parameter g from cpx
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Jun 2014 14:19:10 +0000 (14:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Jun 2014 14:19:10 +0000 (14:19 +0000)
commit5d669f492522b055f76c627eb89da97d0be05c2a
tree851741c8f0e498bf3510a73739119128e7e8d131tree | snapshot
parent63c047cae0056da7a69cb0740336d12259fbeb1acommit | diff
- we introduce stratified term equivalence to remove the parameter g from cpx
- unused files removed from etc
- minor updates
58 files changed:
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr_conj.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/etc/cpr_conj.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/etc/ldrop.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_cpcs.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_etc.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_ldrop.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_ssta.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/aaa_ssta.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds_aaa.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds_cpds.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpes.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpx_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpxs_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpb_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpbg_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpbs_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpbu_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_aaa.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_alt.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_lsstas.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsubsv_cpds.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsubsv_lsstas.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsubsv_snv.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_aaa.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_cpcs.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_da_lpr.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lpr.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lsstas.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lsstas_lpr.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_preserve.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta_llpx_sn.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta_ssta.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/statictype_6.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/statictypestar_7.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/statictypestaralt_7.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta_aaa.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta_ssta.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/statictype_7.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas_aaa.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas_sstas.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/static/steq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/steq_steq.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/extra.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.