]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6540e9d) | patch
first results on lfpr as a base for the diamond property ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Sep 2016 11:10:51 +0000 (11:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Sep 2016 11:10:51 +0000 (11:10 +0000)
commit45996e63afdb9802935990660c4912d58035e016
tree586f93cb91026a2ac39c343439bf35538936d4aftree | snapshot
parent6540e9d8f9a7bbe7e261f00efa8ea3b76a974750commit | diff
first results on lfpr as a base for the diamond property ...
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_fqup.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_length.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_drop.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_fquq.ma [new file with mode: 0644] blob
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.