]> matita.cs.unibo.it Git - helm.git/commit
bug fix in cpg allows to prove lsubr_cpg_trans
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 May 2016 10:16:22 +0000 (10:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 May 2016 10:16:22 +0000 (10:16 +0000)
commita373e008bbacd40002c529f3f14da0939af1c404
tree05973c1ad919ec70d3f9269ae333c0fbccbfd876
parent384b04944ac31922ee41418b106b8e19a19ba9f0
bug fix in cpg allows to prove lsubr_cpg_trans
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_lsubr.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl