projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 10 Oct 2011 17:17:33 +0000 (17:17 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 10 Oct 2011 17:17:33 +0000 (17:17 +0000) | ||
| commit | 5b03651298a3943b67f49fb78dc30bb8b2780f30 | |
| tree | 21851848ab5dca2c7523f142d9bab55471036cb9 | tree | snapshot |
| parent | 8ea6d456f9e71babcf5adb2caee6ddd2b95047fb | commit | diff |
| matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma | diff | blob | history | |
| matita/matita/contribs/lambda-delta/Basic-2/unfold/ltpss_drop.ma | [new file with mode: 0644] | blob |