]> matita.cs.unibo.it Git - helm.git/commit
bug fixing ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 May 2016 19:03:09 +0000 (19:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 May 2016 19:03:09 +0000 (19:03 +0000)
commit632e2b3b8444d363c5f8acb87c3695fc781fe35b
tree483d0fad8d4bce6d67f1a7aa5739ee6acd09dcc4
parent4a3e161726553a41fe68b22f111de3b8df1a9fb6
bug fixing ...
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr.ma
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma