2007-07-10 removed proof dependency on transitivity theorems
haftmann [Tue, 10 Jul 2007 17:30:51 +0200] rev 23710
removed proof dependency on transitivity theorems
2007-07-10 moved lfp_induct2 here
haftmann [Tue, 10 Jul 2007 17:30:50 +0200] rev 23709
moved lfp_induct2 here
2007-07-10 clarified import
haftmann [Tue, 10 Jul 2007 17:30:49 +0200] rev 23708
clarified import
2007-07-10 moved lfp_induct2 to Relation.thy
haftmann [Tue, 10 Jul 2007 17:30:47 +0200] rev 23707
moved lfp_induct2 to Relation.thy
2007-07-10 moved some finite lemmas here
haftmann [Tue, 10 Jul 2007 17:30:45 +0200] rev 23706
moved some finite lemmas here
2007-07-10 moved finite lemmas to Finite_Set.thy
haftmann [Tue, 10 Jul 2007 17:30:43 +0200] rev 23705
moved finite lemmas to Finite_Set.thy
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip