wenzelm [Sat, 14 Feb 2009 21:34:12 +0100] rev 30062
clean_string/clean_name: proper treatment of \<dash>;
wenzelm [Fri, 13 Feb 2009 19:41:14 +0100] rev 30061
misc tuning;
wenzelm [Thu, 12 Feb 2009 22:23:09 +0100] rev 30060
added section "Canonical reasoning patterns";
tuned;
wenzelm [Thu, 12 Feb 2009 21:15:54 +0100] rev 30059
improved sorry/noproof markup;
wenzelm [Thu, 12 Feb 2009 11:36:15 +0100] rev 30058
tuned;
wenzelm [Thu, 12 Feb 2009 11:19:54 +0100] rev 30057
updated generated files;
wenzelm [Thu, 12 Feb 2009 11:19:12 +0100] rev 30056
added example "First-Order Logic" -- mostly from Trybulec Festschrift;
wenzelm [Wed, 11 Feb 2009 21:41:05 +0100] rev 30055
more on Isar framework -- mostly from Trybulec Festschrift;
wenzelm [Wed, 11 Feb 2009 21:40:16 +0100] rev 30054
more refs;
wenzelm [Wed, 11 Feb 2009 21:39:59 +0100] rev 30053
some more Isar elements;