* Significantly improved Isabelle/Isar implementation manual.
Or this is how I've spent 3 very nice weeks in the south of Portugal. See Isabelle/e4f1275820b2. Makarius _______________________________________________ Isabelle-dev mailing list Isabelle-dev@mailbroy.informatik.tu-muenchen.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev