projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 21 Jul 2011 13:40:24 +0000 (13:40 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 21 Jul 2011 13:40:24 +0000 (13:40 +0000) | ||
| commit | 00cafb21b9177a6c48e51e97ba13aa1baad2c1b1 | |
| tree | 298c62e96112b0b50ed44c8f512565d83c652d67 | tree | snapshot |
| parent | 2d6cfac2387447f5682591e19cdbfeb82a15b851 | commit | diff |
| matita/matita/lib/lambda-delta/ground.ma | diff | blob | history | |
| matita/matita/lib/lambda-delta/substitution/drop_main.ma | diff | blob | history |