projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 16 Nov 2011 13:14:07 +0000 (13:14 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 16 Nov 2011 13:14:07 +0000 (13:14 +0000) | ||
| commit | f841a6a906de888ee54f4c3bf95cd444e9bc06b0 | |
| tree | f608f715e8752df528eec90618e3659377e69634 | tree | snapshot |
| parent | 60610b9013095e8e3f060ad3ab24e62902757d91 | commit | diff |
| matita/matita/contribs/lambda_delta/Basic_2/notation.ma | diff | blob | history | |
| matita/matita/contribs/lambda_delta/Basic_2/reducibility/twhnf.ma | [new file with mode: 0644] | blob |