projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 4 Mar 2019 23:35:54 +0000 (00:35 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 4 Mar 2019 23:35:54 +0000 (00:35 +0100) | ||
| commit | c450fdfb1b02eb69e5e7ef25f0acdf80157710df | |
| tree | 819c6291a006a7f967b11abc4045bc3d525cc566 | tree | snapshot |
| parent | e8fb201bad04ec30867659c2d42ef45a4b6c3393 | commit | diff |
| .gitignore | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtywhead_5.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx.ma | [new file with mode: 0644] | blob |