projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 19 May 2011 09:58:04 +0000 (09:58 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 19 May 2011 09:58:04 +0000 (09:58 +0000) | ||
| commit | 0cdde6640f1e2706e1e7cd63e358254a9026c6e4 | |
| tree | b1b597959f7f115a58cda4af3562afe62a5b136d | tree | snapshot |
| parent | 6e7aeeede341ed115191782ca597abf0ffc86564 | commit | diff |
| matita/matita/lib/lambda/par_reduction.ma | diff | blob | history | |
| matita/matita/lib/lambda/reduction.ma | diff | blob | history |