projects / helm.git / commit
| author | Enrico Zoli <??> | |
| Tue, 31 Oct 2006 15:38:22 +0000 (15:38 +0000) | ||
| committer | Enrico Zoli <??> | |
| Tue, 31 Oct 2006 15:38:22 +0000 (15:38 +0000) | ||
| commit | 8b62b96fea74985e303e093d9b7ead91089c664e | |
| tree | fdad871e51ffb0dd88fabc7946ab35cd074c7839 | tree | snapshot |
| parent | b846af089b9f0573507082a5a113fa39fe5faf44 | commit | diff |
| matita/dama/fields.ma | [new file with mode: 0644] | blob |
| matita/dama/groups.ma | [new file with mode: 0644] | blob |
| matita/dama/integration_algebras.ma | diff | blob | history | |
| matita/dama/ordered_fields_ch0.ma | [new file with mode: 0644] | blob |
| matita/dama/reals.ma | [new file with mode: 0644] | blob |
| matita/dama/rings.ma | [new file with mode: 0644] | blob |