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 |
Thu, 16 Apr 2020 08:09:28 +0200 | haftmann | more complete rules on numerals | changeset | files |
Thu, 16 Apr 2020 00:37:07 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |
Wed, 15 Apr 2020 14:31:21 +0200 | wenzelm | merged | changeset | files |
Wed, 15 Apr 2020 12:33:42 +0200 | wenzelm | Added tag Isabelle2020 for changeset abf3e80bd815 | changeset | files |