isabelle: Changelog

wenzelm [Fri, 07 May 2010 20:57:37 +0200] rev 36734

Pretty.formatted operates directly on XML trees, treating XML.Elem like a pro-forma block of indentation 0, like the ML version; tuned;

wenzelm [Fri, 07 May 2010 20:16:46 +0200] rev 36733

tuned;

wenzelm [Fri, 07 May 2010 19:50:50 +0200] rev 36732

strip_shyps_proof: dummy TFrees are called "'dummy" as in del_conflicting_tvars below;

wenzelm [Fri, 07 May 2010 17:03:06 +0200] rev 36731

use existing undefined function;

wenzelm [Fri, 07 May 2010 15:12:53 +0200] rev 36730

merged

krauss [Fri, 07 May 2010 15:03:57 +0200] rev 36729

removed semicolons

krauss [Fri, 07 May 2010 15:03:53 +0200] rev 36728

rule subrelI (for nice Isar proofs of relation inequalities)

wenzelm [Fri, 07 May 2010 14:47:09 +0200] rev 36727

merged

haftmann [Fri, 07 May 2010 09:59:59 +0200] rev 36726

merged

haftmann [Fri, 07 May 2010 09:59:24 +0200] rev 36725

prefix normalizing replaces class_semiring

isabelle