| Fri, 27 Jan 2023 15:33:21 +0100 | wenzelm | prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition; | changeset | files |
| Fri, 27 Jan 2023 15:22:26 +0100 | wenzelm | back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); | changeset | files |
| Fri, 27 Jan 2023 19:16:38 +0100 | haftmann | Restored antiquotation. | changeset | files |
| Thu, 26 Jan 2023 15:18:55 +0100 | haftmann | tuned whitespace | changeset | files |
| Fri, 27 Jan 2023 16:52:39 +0100 | desharna | merged | changeset | files |
| Fri, 27 Jan 2023 12:25:36 +0100 | desharna | added lemma multpHO_plus_plus[simp] | changeset | files |
| Fri, 27 Jan 2023 13:57:52 +0000 | paulson | Shortened a messy proof | changeset | files |