isabelle: Changelog

wenzelm [Sat, 28 Feb 2009 20:27:19 +0100] rev 30177

merged

huffman [Sat, 28 Feb 2009 10:55:10 -0800] rev 30176

add news for HOLCF; fixed some typos and inaccuracies

wenzelm [Sat, 28 Feb 2009 18:28:15 +0100] rev 30175

fixed headers;

wenzelm [Sat, 28 Feb 2009 18:25:19 +0100] rev 30174

moved isabelle_system.scala to src/Pure/System/;

wenzelm [Sat, 28 Feb 2009 18:00:20 +0100] rev 30173

moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);

wenzelm [Sat, 28 Feb 2009 17:09:32 +0100] rev 30172

updated generated files;

wenzelm [Sat, 28 Feb 2009 17:08:33 +0100] rev 30171

added method "coherent"; tuned formal markup;

wenzelm [Sat, 28 Feb 2009 17:08:08 +0100] rev 30170

more refs;

wenzelm [Sat, 28 Feb 2009 16:48:27 +0100] rev 30169

moved method "iprover" to HOL specific part;

wenzelm [Sat, 28 Feb 2009 16:39:46 +0100] rev 30168

removed Ids;

isabelle