wenzelm [Wed, 13 Oct 2010 10:52:15 +0100] rev 40283
tuned;
wenzelm [Tue, 12 Oct 2010 21:18:05 +0100] rev 40282
more examples;
more on "Proof methods";
wenzelm [Tue, 12 Oct 2010 20:03:31 +0100] rev 40281
more on "Isar language elements";
wenzelm [Mon, 11 Oct 2010 21:42:37 +0100] rev 40280
more examples;
wenzelm [Mon, 11 Oct 2010 21:10:50 +0100] rev 40279
more refs;
wenzelm [Mon, 11 Oct 2010 21:05:01 +0100] rev 40278
misc tuning;
wenzelm [Sun, 10 Oct 2010 20:49:25 +0100] rev 40277
removed some obsolete reference material;
wenzelm [Sun, 10 Oct 2010 20:42:10 +0100] rev 40276
cover some more theory operations;
wenzelm [Sun, 10 Oct 2010 20:12:10 +0100] rev 40275
note on Isabelle file specifications;
removed junk;
wenzelm [Sun, 10 Oct 2010 19:49:18 +0100] rev 40274
modernized version of "Message output channels";