]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ffbf46) | patch
- lambdadelta: tentative definition of lazy equivalence for closures +
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 27 Oct 2013 21:22:27 +0000 (21:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 27 Oct 2013 21:22:27 +0000 (21:22 +0000)
commitdec157aae89a4c1830f18eeb0b4152c8c5162ca7
treedaf2ae23573a69250f2b17cad155dc6fa0c63562tree | snapshot
parent9ffbf46176fb5f81768255992e46e69689663d69commit | diff
- lambdadelta: tentative definition of lazy equivalence for closures +
Makefile update/bugfix to support matitadep update
- matitadep: bug fix in redundancy check + new option shows leaf
nodes
15 files changed:
matita/components/binaries/matitadep/matitadep.ml diff | blob | history
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbr_fpbr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/fsb.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_fleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/fleq/fpbc_lift.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/fleq/fpbs.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/fleq_8.ma [new file with mode: 0644] blob
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
Unnamed repository; edit this file 'description' to name the repository.