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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 16 Feb 2014 18:59:26 +0000 (18:59 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 16 Feb 2014 18:59:26 +0000 (18:59 +0000)
commit	5f1066ffb3c6ed53f9bf17ae2a81a9c9db32dba7
tree	4fe8dd1afec8bf21df45a882f7ee8411d223b7ba	tree \| snapshot
parent	93c509f03ffa0d622fa76e39addf32966a173147	commit \| diff

- improved definition of lsx allows more invariants
- some additions
- we parked some unnecessary planes (cny, cpye)

46 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpys.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpye.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cny.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cny_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpx_cpzs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpys_cny.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpzs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/lleq_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/lpx_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/lpxs_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/pdeltaconvstar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/psubsteval_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/psubstevalalt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cny/psubstnormal_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/lazynegatedeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/lazynegatedeqalt_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/llneq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/llneq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/llneq_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/lpxs_llneq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazysn_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazysn_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubsteval_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubstevalalt_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubstnormal_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_cpys.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_cpye.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cny.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cny_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye_cpye.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_cny.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_cpye.ma	[deleted file]	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