Tue, 27 Dec 2011 11:38:55 +0100 | huffman | declare word_of_int_{0,1} [simp], for consistency with word_of_int_bin | changeset | files |
Tue, 27 Dec 2011 09:45:10 +0100 | haftmann | be explicit about Finite_Set.fold | changeset | files |
Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | dropped fact whose names clash with corresponding facts on canonical fold | changeset | files |