projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 25 Apr 2014 13:41:15 +0000 (13:41 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 25 Apr 2014 13:41:15 +0000 (13:41 +0000) | ||
| commit | 42da17037d96c9c8e95a21ea71aa70522916939a | |
| tree | 6ea158ee20408e242c729fabbd92e07e3057002e | tree | snapshot |
| parent | 7a25b8fcba2436a75556db1725c6e1be78a9faca | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees_lift.ma | [new file with mode: 0644] | blob |