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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 14 Sep 2014 21:25:04 +0000 (21:25 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 14 Sep 2014 21:25:04 +0000 (21:25 +0000)
commit	33f8507cadd3b36dc9afa227d8968dda66fe2034
tree	30527356b9460947a63812ff1faa3e1fc3c8ccc6	tree \| snapshot
parent	01efd2c88dd65ba5dbf9c946000b5d03a98acad8	commit \| diff

slight refactoring in the proof of strong normalization

20 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/csx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/gcp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpa_fpa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpas_fpas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpas_vector.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/gcp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/gcp_cr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/rajust_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/rajuststar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/gcp/gcp_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/gcp/gcp_cr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom