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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 13 Jan 2018 21:24:16 +0000 (22:24 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 13 Jan 2018 21:24:16 +0000 (22:24 +0100)
commit	b1868c5a258a6bf7fc983d63f3c417f00185e7b6
tree	15ce6f56ddac25ab51bcd0225160358d70075619	tree \| snapshot
parent	528f8ea107f689d07d060e1d31ba32bf65b4e6ba	commit \| diff

update in ground_2 and basic_2

- new version of lveq completed: allows to prove all six main properties of fle, but lfxs_fle fails :(
- voids parked for now
- more ignores for the web site

22 files changed:

.gitignore		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lveq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/voids/lveq_voids.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/voids/voids.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/voids/voids_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/voids/voidstar_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/functions/voidstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_voids.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/voids.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/voids_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/etc2ma.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ma2etc.sh		diff \| blob \| history

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

RSS Atom