isabelle: Changelog

wenzelm [Sat, 08 Jan 2011 14:32:55 +0100] rev 41470

added Context_Position.is_visible_proof, which treats a global theory as invisible (unlike the default);

wenzelm [Sat, 08 Jan 2011 14:30:54 +0100] rev 41469

tuned;

wenzelm [Sat, 08 Jan 2011 00:28:31 +0100] rev 41468

tuned;

wenzelm [Sat, 08 Jan 2011 00:02:11 +0100] rev 41467

tuned headers;

wenzelm [Fri, 07 Jan 2011 23:46:06 +0100] rev 41466

merged

bulwahn [Fri, 07 Jan 2011 18:10:43 +0100] rev 41465

adding example theory for list comprehension to set comprehension simproc

bulwahn [Fri, 07 Jan 2011 18:10:42 +0100] rev 41464

adopting proofs due to new list comprehension to set comprehension simproc

bulwahn [Fri, 07 Jan 2011 18:10:35 +0100] rev 41463

adding simproc to rewrite list comprehensions to set comprehensions; adopting proofs

boehmes [Fri, 07 Jan 2011 17:58:51 +0100] rev 41462

tuned text

bulwahn [Fri, 07 Jan 2011 15:59:10 +0100] rev 41461

merged

isabelle