projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 20 May 2011 14:35:59 +0000 (14:35 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 20 May 2011 14:35:59 +0000 (14:35 +0000) | ||
| commit | 5bfc4a8069dc1b219f958a865c5f60b88dadf525 | |
| tree | 32bf402fd2c7fedb2b9367f8ca23edd8f727b8bb | tree | snapshot |
| parent | cb0c0fe95610321224311a64aef214775d36e7e4 | commit | diff |
| matita/matita/lib/lambda/cube.ma | diff | blob | history | |
| matita/matita/lib/lambda/rc_sat.ma | diff | blob | history | |
| matita/matita/lib/lambda/sn.ma | diff | blob | history |