Wed, 25 Aug 2021 22:16:27 +0200 | wenzelm | more Isabelle/Haskell operations; | changeset | files |
Wed, 25 Aug 2021 17:46:53 +0200 | wenzelm | more Isabelle/Haskell operations; | changeset | files |
Wed, 25 Aug 2021 17:27:40 +0200 | wenzelm | tuned; | changeset | files |