Thu, 16 Apr 2020 08:09:30 +0200 | haftmann | another rule on numerals | changeset | files |
Thu, 16 Apr 2020 08:09:29 +0200 | haftmann | bit on numerals | changeset | files |
Thu, 16 Apr 2020 08:09:29 +0200 | haftmann | more complete rules on numerals | changeset | files |