projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Nov 2006 13:03:37 +0000 (13:03 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Nov 2006 13:03:37 +0000 (13:03 +0000) | ||
| commit | 18a895438260a82a83608c14f1ab99870962ba26 | |
| tree | 0ea7122609a98257d9b2eb7f1f21c14f4257a1cc | tree | snapshot |
| parent | 3caba0beeaf8d1f111d28e3b381956aa6aff363a | commit | diff |
| helm/software/matita/library/nat/relevant_equations.ma | diff | blob | history |