Tue, 27 Dec 2011 12:27:06 +0100 | huffman | use 'induct arbitrary' instead of 'rule_format' attribute | changeset | files |
Tue, 27 Dec 2011 12:05:03 +0100 | huffman | declare simp rules immediately, instead of using 'declare' commands | changeset | files |
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 |
Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | prefer canonical fold on lists | changeset | files |
Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | be explicit about Finite_Set.fold | changeset | files |