]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0e3208) | patch
- first prroperties on lfsx proved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Apr 2017 16:02:22 +0000 (16:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Apr 2017 16:02:22 +0000 (16:02 +0000)
commit632c54beaf67e68a1eeeec22274466157003b779
tree6e995f06fa37af1dec9ed81f9d2d67c48f4c073atree | snapshot
parentd0e3208d69d24a9dc9e066e381f1601bc8e109becommit | diff
- first prroperties on lfsx proved
- component "conversion" completed
- some typos fixed
14 files changed:
matita/matita/contribs/lambdadelta/basic_2/conversion/cpc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/conversion/cpc_cpc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lfpx/lfpx_fqus.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconv_4.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconv_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_fqup.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_fqus.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_lfsx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/partial.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.