projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 11 Jul 2006 16:52:02 +0000 (16:52 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 11 Jul 2006 16:52:02 +0000 (16:52 +0000) | ||
| commit | a5e886d4114b6c120406573f915572d0a38c8c01 | |
| tree | 31b143dad3ae1228340e9b3c2771341bbda1532f | tree | snapshot |
| parent | 6995a7717fd0c760c0608ed9225e9f2dbc14d7d1 | commit | diff |
| matita/contribs/RELATIONAL-ARITHMETICS/nat_defs.ma | diff | blob | history | |
| matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma | diff | blob | history |