]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56e23ea) | patch
- lambdadelta: first commutation property on lazy equivalence for
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Nov 2013 16:10:29 +0000 (16:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Nov 2013 16:10:29 +0000 (16:10 +0000)
commit54fa4874fc4bfccd061b40d8353cd75a578e99ae
treea94557e569da1585b2374a808fb64bc3effbda2ftree | snapshot
parent56e23ea031f695e40879053ff09e97ecec2507e1commit | diff
- lambdadelta: first commutation property on lazy equivalence for
local environments proved (lleq_fqu_trans)
- matitadep: now three input syntaxes from grep are understood
13 files changed:
matita/components/binaries/matitadep/matitadep.ml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_restricted_weight.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn_tc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu_fqu.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq_fquq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_lleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.