| Tue, 11 Apr 2023 11:59:06 +0000 | haftmann | some remarks on division | file | diff | annotate |
| Tue, 11 Apr 2023 11:59:02 +0000 | haftmann | proper section headings | file | diff | annotate |
| Thu, 06 Oct 2022 14:16:39 +0000 | haftmann | euclidean division on gaussian numbers | file | diff | annotate |
| Tue, 04 Oct 2022 09:12:41 +0000 | haftmann | tuned definition | file | diff | annotate |
| Tue, 04 Oct 2022 09:12:39 +0000 | haftmann | spelling | file | diff | annotate |
| Wed, 14 Sep 2022 09:15:00 +0000 | haftmann | More on division concerning gauss numbers. | file | diff | annotate |