projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 18 May 2011 09:46:17 +0000 (09:46 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 18 May 2011 09:46:17 +0000 (09:46 +0000) | ||
| commit | 6e7aeeede341ed115191782ca597abf0ffc86564 | |
| tree | c323134dc6bcde73e9d4c5a385a0803de11c9bed | tree | snapshot |
| parent | 2a33a51a4749ca91dfaa488b9c0d2a286265cf99 | commit | diff |
| matita/matita/lib/lambda/lambda_notation.ma | diff | blob | history | |
| matita/matita/lib/lambda/types.ma | diff | blob | history |