]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 8 Jun 2005 16:32:50 +0000 (16:32 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 8 Jun 2005 16:32:50 +0000 (16:32 +0000) | ||
commit | 03e705fa7bb3246db35d144ae4e47946d9782a34 | |
tree | 0399cffce5fb70350262b2680f3abc7ae58253eb | tree | snapshot |
parent | f2f6b3b567d556e732a8ae861ea633b0804840fb | commit | diff |
helm/matita/tests/match.ma | diff | blob | history |