projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 13 May 2011 21:19:34 +0000 (21:19 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 13 May 2011 21:19:34 +0000 (21:19 +0000) | ||
| commit | 78b1c68fca5f15000588a1e091149a188831977e | |
| tree | 5d3f24a1adcc8a2b479099f47d6ad60458cf8222 | tree | snapshot |
| parent | 42680d47c033d751738fd0f84af7b45b2a91a5b8 | commit | diff |
| matita/matita/lib/lambda-delta/ground.ma | diff | blob | history | |
| matita/matita/lib/lambda-delta/substitution/lift.ma | diff | blob | history |