isabelle: Changelog

wenzelm [Sun, 01 Apr 2012 19:04:52 +0200] rev 47248

simplified;

wenzelm [Sun, 01 Apr 2012 18:01:19 +0200] rev 47247

tuned signature;

wenzelm [Sun, 01 Apr 2012 15:23:43 +0200] rev 47246

clarified Named_Target.target_declaration: propagate through other levels as well; tuned signature;

wenzelm [Sun, 01 Apr 2012 14:29:22 +0200] rev 47245

Local_Theory.map_contexts with explicit level indication: 0 = main target at bottom; Local_Theory.target refers to bottom; tuned signature;

huffman [Sun, 01 Apr 2012 09:12:03 +0200] rev 47244

tuned proofs

huffman [Sat, 31 Mar 2012 22:45:46 +0200] rev 47243

merged

huffman [Sat, 31 Mar 2012 20:09:24 +0200] rev 47242

tuned proof

huffman [Sat, 31 Mar 2012 19:10:58 +0200] rev 47241

add lemma power_le_one

wenzelm [Sat, 31 Mar 2012 19:38:41 +0200] rev 47240

tuned;

wenzelm [Sat, 31 Mar 2012 19:26:23 +0200] rev 47239

tuned signature;

isabelle