projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 22 Jul 2011 16:03:27 +0000 (16:03 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 22 Jul 2011 16:03:27 +0000 (16:03 +0000) | ||
| commit | d9c872a9203fb4f69d9962d68b8ee64881f8a949 | |
| tree | f95ff1157e0eda371fcb8a9bafaf6f55d7ecb8b7 | tree | snapshot |
| parent | 00cafb21b9177a6c48e51e97ba13aa1baad2c1b1 | commit | diff |
| matita/matita/lib/lambda-delta/reduction/pr_defs.ma | diff | blob | history | |
| matita/matita/lib/lambda-delta/reduction/pr_pr.ma | [new file with mode: 0644] | blob |