wenzelm [Thu, 23 Feb 2012 14:17:51 +0100] rev 47482
directed graphs (in Scala);
huffman [Thu, 23 Feb 2012 15:23:16 +0100] rev 47481
make uses of bin_split respect int/bin distinction
huffman [Thu, 23 Feb 2012 15:19:31 +0100] rev 47480
remove lemma bin_cat_Pls, which doesn't respect int/bin distinction
huffman [Thu, 23 Feb 2012 15:15:48 +0100] rev 47479
make uses of constant bin_sc respect int/bin distinction
huffman [Thu, 23 Feb 2012 15:04:51 +0100] rev 47478
remove duplicate lemma bintrunc_Suc in favor of bintrunc.Suc
huffman [Thu, 23 Feb 2012 14:43:01 +0100] rev 47477
remove unused lemmas
huffman [Thu, 23 Feb 2012 14:29:29 +0100] rev 47476
simplify proofs
huffman [Thu, 23 Feb 2012 13:16:18 +0100] rev 47475
make uses of bin_sign respect int/bin distinction
huffman [Thu, 23 Feb 2012 12:45:00 +0100] rev 47474
removed unnecessary lemma zero_bintrunc
huffman [Thu, 23 Feb 2012 12:24:34 +0100] rev 47473
remove unnecessary lemmas