| Thu, 16 Jan 2025 18:07:31 +0100 | haftmann | restrict check to PolyML | file | diff | annotate |
| Thu, 16 Jan 2025 09:26:57 +0100 | haftmann | explicit check for (experimentally determined) border value | file | diff | annotate |
| Sat, 04 Jan 2025 17:38:45 +0100 | haftmann | separate theory for tests checking bit operations | file | diff | annotate |