| Fri, 25 Sep 2020 15:40:35 +0200 | wenzelm | tuned nitpick message: more like quickcheck; | changeset | files |
| Fri, 25 Sep 2020 14:40:50 +0200 | wenzelm | clarified; | changeset | files |
| Fri, 25 Sep 2020 14:37:47 +0200 | wenzelm | evaluate Scala via running Isabelle/Scala; | changeset | files |