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 | 089bc0fa6a22a163651f417f7f02db822ab0b70c | |
| tree | 2b3df26f0335765cba02c2ce2adf351fcbd09378 | tree | snapshot |
| parent | dccfee15d96938072fbdf4004a06e5b59ba876dc | commit | diff |
| matita/library/nat/relevant_equations.ma | diff | blob | history |