isabelle: Changelog

haftmann [Fri, 28 Mar 2008 18:51:17 +0100] rev 26459

some styling

urbanc [Fri, 28 Mar 2008 11:08:18 +0100] rev 26458

tuned proofs

wenzelm [Fri, 28 Mar 2008 00:02:58 +0100] rev 26457

tuned;

wenzelm [Fri, 28 Mar 2008 00:02:56 +0100] rev 26456

updated dependencies;

wenzelm [Fri, 28 Mar 2008 00:02:54 +0100] rev 26455

reorganized signature of ML_Context;

huffman [Thu, 27 Mar 2008 21:49:10 +0100] rev 26454

remove commented text

wenzelm [Thu, 27 Mar 2008 21:21:08 +0100] rev 26453

avoid ambiguity of State.state vs. JVMType.state;

huffman [Thu, 27 Mar 2008 19:49:24 +0100] rev 26452

declare cont_lemmas_ext as simp rules individually

wenzelm [Thu, 27 Mar 2008 19:22:24 +0100] rev 26451

avoid amiguity of Continuity.chain vs. Porder.chain;

wenzelm [Thu, 27 Mar 2008 19:22:23 +0100] rev 26450

avoid amiguity of State.state vs. JVMType.state;

isabelle