]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ddb3f3) | patch
- fpbq
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Mar 2017 19:18:09 +0000 (19:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Mar 2017 19:18:09 +0000 (19:18 +0000)
commitc0a8f89161e9887c38eb5cf701f0f0c05a0e527f
tree021237ad1ea828bb1b72bcaaffe80d247806fbc5tree | snapshot
parent1ddb3f36f9230e326df60e6db7ef2624a9c16930commit | diff
- fpbq
- advances on lfdeq towards lfdeq_lfpx_conf
14 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc/fpbq/fpbq_alt.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfpx/lfpx_lreq.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpred_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpred_8.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredalt_8.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfdeq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_alt.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_lleq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt 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.