matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 1 Jun 2014 18:44:03 +0000 (18:44 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 1 Jun 2014 18:44:03 +0000 (18:44 +0000)
commit	c671743a83bbc7fff114e3e3694f628c0ec6685b
tree	58bf654717bac67c7236e221088150bdfc063063	tree \| snapshot
parent	a8e31c02eefecdcd7d8a893c9f0a036a30fa57e4	commit \| diff

- advances on hereditarily free variables: now "frees" is primitive
- some refactoring in etc

61 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/append/cpy2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpys0.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/append/lpys0.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofrees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofrees_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofrees_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofreestar_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofrees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofrees_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofrees_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofreestar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpx_cpys2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpxs_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpy.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/lpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/extlrsubeq_2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/extpsubstsnstar_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/extpsubststar_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/lpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/lpys_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/lpys_lpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/lsuby_lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/cpys_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/cpys_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lpys_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lpys_lpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lrsubeq_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lsuby_lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/psubstsnstar_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/psubststar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/cpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/cpx_cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/cpxs_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/lpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/cofreestar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/freestar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/frees_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_llor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llor_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom