]> matita.cs.unibo.it Git - helm.git/commit
refactoring ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 27 Apr 2017 18:20:12 +0000 (18:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 27 Apr 2017 18:20:12 +0000 (18:20 +0000)
commita961853f4bb6f26c4cc8ca9babad0de0e6c6d1ff
treeba8ef38e3feec46419801a67b9dc6220797359d1
parent73966e3e9fd17155ca67e6b4a32f52225cea9d3c
refactoring ...
matita/matita/contribs/lambdadelta/basic_2/syntax/aarity.ma
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl