Tue, 17 Feb 2009 21:51:48 +0000 | chaieb | merged | changeset | files |
Tue, 17 Feb 2009 20:42:19 +0000 | chaieb | merged | changeset | files |
Tue, 17 Feb 2009 20:41:36 +0000 | chaieb | fixed selection of premises | changeset | files |
Thu, 19 Feb 2009 23:18:28 -0800 | huffman | cleaned up | changeset | files |
Thu, 19 Feb 2009 18:16:19 -0800 | huffman | declare of_int_number_of_eq [simp] | changeset | files |
Thu, 19 Feb 2009 17:13:35 -0800 | huffman | fix case_names | changeset | files |