isabelle: Changelog

huffman [Tue, 09 Nov 2010 05:23:34 -0800] rev 40489

implement map_of_typ using Pattern.rewrite_term

huffman [Tue, 09 Nov 2010 04:47:46 -0800] rev 40488

avoid using stale theory

huffman [Mon, 08 Nov 2010 15:13:45 -0800] rev 40487

implement defl_of_typ using Pattern.rewrite_term instead of DeflData theory data

huffman [Mon, 08 Nov 2010 14:36:17 -0800] rev 40486

add function the_sort

huffman [Mon, 08 Nov 2010 14:09:07 -0800] rev 40485

refactor tmp_thy code

huffman [Mon, 08 Nov 2010 06:58:09 -0800] rev 40484

reorganize Bifinite.thy; simplify some proofs related to bifinite class instances

wenzelm [Fri, 12 Nov 2010 11:36:01 +0100] rev 40483

treat pervasive "Interrupt" constructor as illegal -- superseded by Exn.Interrupt for internal use and Exn.is_interrupt/Exn.interrupt in user-space;

wenzelm [Fri, 12 Nov 2010 10:58:09 +0100] rev 40482

Laze.force_result: more robust treatment of interrupts stemming from peer group cancellation;

wenzelm [Thu, 11 Nov 2010 19:58:07 +0100] rev 40481

more precise treatment of deleted nodes;

wenzelm [Thu, 11 Nov 2010 18:55:17 +0100] rev 40480

tuned error message;

isabelle