isabelle: Changelog

wenzelm [Thu, 11 Aug 2011 12:30:41 +0200] rev 44150

recovered some ML toplevel pp;

wenzelm [Thu, 11 Aug 2011 12:24:10 +0200] rev 44149

some trimming;

wenzelm [Thu, 11 Aug 2011 12:11:50 +0200] rev 44148

prefix of Pure/ROOT.ML required for concurrency within the ML runtime;

wenzelm [Thu, 11 Aug 2011 11:40:25 +0200] rev 44147

redundant use of misc_legacy.ML;

krauss [Thu, 11 Aug 2011 10:36:34 +0200] rev 44146

eliminated use of recdef

krauss [Thu, 11 Aug 2011 09:41:21 +0200] rev 44145

removed obsolete recdef-related examples

krauss [Thu, 11 Aug 2011 09:15:45 +0200] rev 44144

removed unused material, which does not really belong here

huffman [Wed, 10 Aug 2011 18:07:32 -0700] rev 44143

merged

huffman [Wed, 10 Aug 2011 18:02:16 -0700] rev 44142

avoid warnings about duplicate rules

huffman [Wed, 10 Aug 2011 17:02:03 -0700] rev 44141

follow standard naming scheme for sgn_vec_def

isabelle