projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 2 Oct 2014 21:20:21 +0000 (21:20 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 2 Oct 2014 21:20:21 +0000 (21:20 +0000) | ||
| commit | d71ad5c0d52dff8bc4b77216fbcb0b65ecd7d391 | |
| tree | e6fdb9524aa06b6965c143d3cfa12c73309608c1 | tree | snapshot |
| parent | 060864edadf332c07663e85bdc2299ee64e191ee | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbs.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/examples/ex_fpbg_refl.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml | diff | blob | history |