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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 6a4711d) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 21 Jan 2017 14:34:59 +0000 (14:34 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 21 Jan 2017 14:34:59 +0000 (14:34 +0000)
commit	52616a7a6a550efd75ed56e7e246132453506002
tree	ad3dd69ed422309be11de32148424af7cc840261	tree \| snapshot
parent	6a4711dbb4bec52222e9d0586326ef03b9fbc81b	commit \| diff

- improved fqu allows to prove fqu_cpx_trans and its derivatives
- parked frees_fqus_drops that does not hold anymore

matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history

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