projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 27 Jun 2006 09:39:56 +0000 (09:39 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 27 Jun 2006 09:39:56 +0000 (09:39 +0000) | ||
| commit | 1a1f3c08b10e2cfbae42e73d7186caa9d90e0491 | |
| tree | db75d40ed01426841e7da7466a751aa28fce3f4d | tree | snapshot |
| parent | 41e76668e9389ce17e41747026e533f907a0311c | commit | diff |
| matita/contribs/RELATIONAL-ARITHMETICS/add_gen.ma | diff | blob | history | |
| matita/contribs/RELATIONAL-ARITHMETICS/add_props.ma | diff | blob | history | |
| matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma | [new file with mode: 0644] | blob |
| matita/contribs/RELATIONAL-ARITHMETICS/nat_gen.ma | [deleted file] | blob | history |