2011-12-04 remove Library/Diagonalize.thy, because Library/Nat_Bijection.thy includes all the same functionality
huffman [Sun, 04 Dec 2011 13:10:19 +0100] rev 45748
remove Library/Diagonalize.thy, because Library/Nat_Bijection.thy includes all the same functionality
2011-12-04 missing dependency
nipkow [Sun, 04 Dec 2011 18:29:29 +0100] rev 45747
missing dependency
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip