]> matita.cs.unibo.it Git - helm.git/commit
xoa notation refactoring and minor additions
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 10 Sep 2017 14:23:34 +0000 (14:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 10 Sep 2017 14:23:34 +0000 (14:23 +0000)
commit57296e7036707343c4d8a8e990a48e5f1518eee4
tree9cd779c6ce9e8d0429ad2c5cb455e68bbfb6a06a
parent5ea718c8b65a9ca62e8b602800667259b8b2d090
xoa notation refactoring and minor additions
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/and_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/notation/xoa_notation.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa.ma
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml