projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 19 Jul 2011 15:12:25 +0000 (15:12 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 19 Jul 2011 15:12:25 +0000 (15:12 +0000) | ||
| commit | 6b7c050f991cf7ed33bbceb0b3cdc530647eb261 | |
| tree | 98a116f2e4b2568b5ccf4e5416ff70c04f98867e | tree | snapshot |
| parent | 2912d9bd61bc451c1135ca0a123cc30f203e93c9 | commit | diff |
| matita/matita/lib/lambda-delta/reduction/pr_lift.ma | diff | blob | history | |
| matita/matita/lib/lambda-delta/substitution/drop_main.ma | diff | blob | history |