Tue, 09 Nov 2010 08:41:36 -0800 add bifiniteness check for domain_isomorphism command
huffman [Tue, 09 Nov 2010 08:41:36 -0800] rev 40490
add bifiniteness check for domain_isomorphism command
Tue, 09 Nov 2010 05:23:34 -0800 implement map_of_typ using Pattern.rewrite_term
huffman [Tue, 09 Nov 2010 05:23:34 -0800] rev 40489
implement map_of_typ using Pattern.rewrite_term
Tue, 09 Nov 2010 04:47:46 -0800 avoid using stale theory
huffman [Tue, 09 Nov 2010 04:47:46 -0800] rev 40488
avoid using stale theory
Mon, 08 Nov 2010 15:13:45 -0800 implement defl_of_typ using Pattern.rewrite_term instead of DeflData theory data
huffman [Mon, 08 Nov 2010 15:13:45 -0800] rev 40487
implement defl_of_typ using Pattern.rewrite_term instead of DeflData theory data
Mon, 08 Nov 2010 14:36:17 -0800 add function the_sort
huffman [Mon, 08 Nov 2010 14:36:17 -0800] rev 40486
add function the_sort
Mon, 08 Nov 2010 14:09:07 -0800 refactor tmp_thy code
huffman [Mon, 08 Nov 2010 14:09:07 -0800] rev 40485
refactor tmp_thy code
Mon, 08 Nov 2010 06:58:09 -0800 reorganize Bifinite.thy; simplify some proofs related to bifinite class instances
huffman [Mon, 08 Nov 2010 06:58:09 -0800] rev 40484
reorganize Bifinite.thy; simplify some proofs related to bifinite class instances
Fri, 12 Nov 2010 11:36:01 +0100 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 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;
Fri, 12 Nov 2010 10:58:09 +0100 Laze.force_result: more robust treatment of interrupts stemming from peer group cancellation;
wenzelm [Fri, 12 Nov 2010 10:58:09 +0100] rev 40482
Laze.force_result: more robust treatment of interrupts stemming from peer group cancellation;
Thu, 11 Nov 2010 19:58:07 +0100 more precise treatment of deleted nodes;
wenzelm [Thu, 11 Nov 2010 19:58:07 +0100] rev 40481
more precise treatment of deleted nodes;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip