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 |
Wed, 25 Aug 2021 17:24:45 +0200 | wenzelm | more Isabelle/Haskell operations; | changeset | files |
Wed, 25 Aug 2021 22:10:15 +0200 | nipkow | reflect moved theories | changeset | files |
Wed, 25 Aug 2021 21:46:34 +0200 | nipkow | unhide canonical function def examples | changeset | files |