| Thu, 23 Feb 2012 14:46:38 +0100 | wenzelm | removed dead code; | changeset | files |
| Thu, 23 Feb 2012 14:17:51 +0100 | wenzelm | directed graphs (in Scala); | changeset | files |
| Thu, 23 Feb 2012 15:23:16 +0100 | huffman | make uses of bin_split respect int/bin distinction | changeset | files |
| Thu, 23 Feb 2012 15:19:31 +0100 | huffman | remove lemma bin_cat_Pls, which doesn't respect int/bin distinction | changeset | files |
| Thu, 23 Feb 2012 15:15:48 +0100 | huffman | make uses of constant bin_sc respect int/bin distinction | changeset | files |
| Thu, 23 Feb 2012 15:04:51 +0100 | huffman | remove duplicate lemma bintrunc_Suc in favor of bintrunc.Suc | changeset | files |
| Thu, 23 Feb 2012 14:43:01 +0100 | huffman | remove unused lemmas | changeset | files |