| Mon, 08 Oct 2018 21:31:51 +0200 | nipkow | added simp-lemma | changeset | files |
| Mon, 08 Oct 2018 15:42:43 +0200 | wenzelm | support for OCaml via command-line tools; | changeset | files |
| Mon, 08 Oct 2018 12:52:28 +0200 | wenzelm | isabelle_opam as portable shell function; | changeset | files |
| Sun, 07 Oct 2018 16:28:38 +0200 | nipkow | added Braun_Tree.thy | changeset | files |