]> matita.cs.unibo.it Git - helm.git/commit
notation update for pointwise union
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 30 Sep 2014 14:36:42 +0000 (14:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 30 Sep 2014 14:36:42 +0000 (14:36 +0000)
commitc7c0bdef0ba026f4ba85528cba8cb33f6cf2ef5d
treeb727d2bad373f873a189d5ff80b162e387bde89e
parent7c81b54b43d74009cc76b151c210956feb90b991
notation update for pointwise union
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_llor.ma
matita/matita/contribs/lambdadelta/basic_2/multiple/llor.ma
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_alt.ma
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_drop.ma
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_llor.ma
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyor_5.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl