]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 7 Jul 2005 12:20:55 +0000 (12:20 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 7 Jul 2005 12:20:55 +0000 (12:20 +0000) | ||
commit | 9288eedb2f59a55c78092f78649413fb087310da | |
tree | de44cfddc7ec875401d9e4cbd02033b90b7291d5 | tree | snapshot |
parent | ab7910f821b16fceae542ac7a7588b93051d7359 | commit | diff |
helm/matita/tests/fguidi.ma | diff | blob | history |