]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e500cfb) | patch
- we bypassed another false conjecture :) ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 24 Feb 2014 18:56:46 +0000 (18:56 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 24 Feb 2014 18:56:46 +0000 (18:56 +0000)
commitf7994db705d6c1200cc3e9f1827b7d9f6d0ad001
tree3a16e59404bcb119d3bd8d359e307d1a4b5c7ca8tree | snapshot
parente500cfb0c28718d44972a119f55f152018d18e62commit | diff
- we bypassed another false conjecture :) ...
- minor corrections
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_ext.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.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.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.