projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 19 Dec 2012 20:27:22 +0000 (20:27 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 19 Dec 2012 20:27:22 +0000 (20:27 +0000) | ||
| commit | 7f7524c504c3c66e572bfba90b31ddd9247ff4b5 | |
| tree | 53c974fa23a15a0b25ed3e4937743766d883b6e6 | tree | snapshot |
| parent | 9e078dc1cbf90124fecf391e4c3b717fd1143afb | commit | diff |
| matita/matita/contribs/lambda/st_computation.ma | diff | blob | history |