Sat, 03 Nov 2018 19:31:50 +0100 | wenzelm | tuned comments; | changeset | files |
Sat, 03 Nov 2018 19:31:15 +0100 | wenzelm | more operations; | changeset | files |
Thu, 01 Nov 2018 13:53:29 +0100 | wenzelm | support for Isabelle tool development in Haskell; | changeset | files |