projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 28 Nov 2012 10:05:53 +0000 (10:05 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 28 Nov 2012 10:05:53 +0000 (10:05 +0000) | ||
| commit | 5876d7c2897e2d1f325fcddf8c243d47a5656e7c | |
| tree | ebb627402e54338e355fe9fcbe76fd922c3e44ff | tree | snapshot |
| parent | 8730061377260fd9d86f77b46635038e3c1411cc | commit | diff |
| matita/matita/lib/turing/multi_universal/match.ma | diff | blob | history |