projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 19 Jul 2005 11:46:10 +0000 (11:46 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 19 Jul 2005 11:46:10 +0000 (11:46 +0000) | ||
| commit | b42c305a6f7dd0d0495afd442af0653df8f35d85 | |
| tree | 33fd4b80180d842d2ad6d08619720fb11d1a2736 | tree | snapshot |
| parent | de0885961ff56f3d50bd365c6d38498036484ab8 | commit | diff |
| helm/matita/tests/fguidi.ma | diff | blob | history |