]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c713c14) | patch
a wrong conjecture bypassed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Feb 2014 11:32:07 +0000 (11:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Feb 2014 11:32:07 +0000 (11:32 +0000)
commit1ca3d131ce61d857ebf691169e85ddb81250fd4e
treee5db444c3404d94fac2c41cbbbc9cca0dbf911d5tree | snapshot
parentc713c14cb3c69b1e9a4c693aed382eedc04512c1commit | diff
a wrong conjecture bypassed!
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpxs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/rplusminus_4.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_rpm.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.