projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 2 Mar 2011 21:02:38 +0000 (21:02 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 2 Mar 2011 21:02:38 +0000 (21:02 +0000) | ||
| commit | adc2a5bba9b4b907fdc1eb8ad443c97e3fdc7bd0 | |
| tree | 4ebeb1de86e065ec23a495af6debbd63154498a8 | tree | snapshot |
| parent | 060f4ff9bcece134dd66757ee7f8c571bdbc8cab | commit | diff |
| matita/matita/lib/lambda/ext.ma | diff | blob | history | |
| matita/matita/lib/lambda/lambda_notation.ma | diff | blob | history | |
| matita/matita/lib/lambda/rc_hsat.ma | [new file with mode: 0644] | blob |