]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a04fa03) | patch
- strong normalization for rt-comutation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 16 Apr 2017 13:42:16 +0000 (13:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 16 Apr 2017 13:42:16 +0000 (13:42 +0000)
commitfed8c1a61273b0eb4a719fda70e2b5dd31933c8a
tree12d6a2a4f07d84175e0f911da1a1ac2d5c3067aftree | snapshot
parenta04fa03fcea0493e89b725960146cc0c06539583commit | diff
- strong normalization for rt-comutation
- advances on lfpxs ...
matita/matita/contribs/lambdadelta/basic_2/etc/csx_aaa.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_tc_lfxs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_aaa.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lfpxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml 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.