* 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
