]> matita.cs.unibo.it Git - helm.git/commit
some additions ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 10 Mar 2014 19:01:45 +0000 (19:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 10 Mar 2014 19:01:45 +0000 (19:01 +0000)
commit4e2cde56d7a4c30c1fa07d58f76beab22a174151
treeca708dc6dd9a197e7166d463733e9ca6bfe4379b
parentebf2a09fa1fb0ae355ae97437f6e35377c5f2ae8
some additions ...
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_leq.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_leq.ma
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma