projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 8 Jun 2005 16:31:02 +0000 (16:31 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 8 Jun 2005 16:31:02 +0000 (16:31 +0000) | ||
| commit | f2f6b3b567d556e732a8ae861ea633b0804840fb | |
| tree | 827e3784d7df05e9811a93151a13bbf0bbae7b2d | tree | snapshot |
| parent | 786f12a8dc441395274ea6964a5a6e9c30fc5090 | commit | diff |
| helm/matita/tests/letrec.ma | diff | blob | history | |
| helm/matita/tests/match.ma | diff | blob | history |