]> matita.cs.unibo.it Git - helm.git/commit
precommit for rtmap ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Feb 2016 15:36:51 +0000 (15:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Feb 2016 15:36:51 +0000 (15:36 +0000)
commit91ab6965be539b7ed0f3208e1c1fffd17aa151f7
tree48731308c7dce71d3f5bab1bc521ad22fdb6e588
parent5791ee6b64136ecb0a727e32997b33f4bfab2c31
precommit for rtmap ...
20 files changed:
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma
matita/matita/contribs/lambdadelta/ground_2/notation/relations/funexteq_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/notation/relations/istotal_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_at.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_isid.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_lift.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sle.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_id.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_istot.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl