| Wed, 22 Aug 2007 17:58:37 +0200 | huffman | move constant definitions to their respective subsections | changeset | files |
| Wed, 22 Aug 2007 17:13:42 +0200 | chaieb | tuned; | changeset | files |
| Wed, 22 Aug 2007 17:13:41 +0200 | chaieb | More selective generalization : a*b is generalized whenever none of a and b is a number | changeset | files |
| Wed, 22 Aug 2007 17:13:40 +0200 | chaieb | imports Presburger; no need for Main | changeset | files |
| Wed, 22 Aug 2007 16:55:46 +0200 | huffman | move bool list operations from WordBitwise to WordBoolList | changeset | files |
| Wed, 22 Aug 2007 16:54:43 +0200 | huffman | Word/WordBoolList.thy | changeset | files |
| Wed, 22 Aug 2007 16:44:35 +0200 | huffman | move if_simps from BinBoolList to Num_Lemmas | changeset | files |
| Wed, 22 Aug 2007 12:21:17 +0200 | chaieb | Axioms for class no longer use object-universal quantifiers | changeset | files |