]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Tue, 6 Nov 2018 09:57:00 +0000 (10:57 +0100) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Tue, 6 Nov 2018 09:57:00 +0000 (10:57 +0100) | ||
commit | bbb6dd07ecb430bf06bb52c2506626106449a5af | |
tree | fff53a126aef360c7f3e5af039cdeed897c4e421 | tree | snapshot |
parent | 3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8 | commit | diff |
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconveta_4.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |