* 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