]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7296f9) | patch
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Mar 2018 17:40:47 +0000 (18:40 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Mar 2018 17:40:47 +0000 (18:40 +0100)
commit9d5724b7a571ce0da2a2691e639f044430f4a73a
tree5c1621cde8fa65bfacbee22776af1f7100db0c7dtree | snapshot
parentf7296f9cf2ee73465a374942c46b138f35c42ccbcommit | diff
update in basic_2

+ yet anothe equivalent of lfsx to be used in lfsx_pair_lpxs
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_lex.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_lpx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lpx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lex.ma 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.