https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook: README history README revision history added readme and fixed output in Subgoal.FOCUS section https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/96d10631eec2/README Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 31 Dec 2012 20:20:55 +0000