]> matita.cs.unibo.it Git - helm.git/commit
bug fix in big-tree reduction
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Oct 2013 15:05:04 +0000 (15:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Oct 2013 15:05:04 +0000 (15:05 +0000)
commit1407456d2415e2872b97ae70cae05eb47c1995c5
treede2107120945e278440e0cf993aae9f2cdef65bc
parent79340579023e8e6ee8338da90e2aa9eb3d1fc633
bug fix in big-tree reduction
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstaralt_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbc.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq_alt.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl