Thu, 21 Jun 2007 22:30:58 +0200 | huffman | changed simp rules for of_nat | changeset | files |
Thu, 21 Jun 2007 22:10:16 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | changeset | files |
Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | changeset | files |
Thu, 21 Jun 2007 20:48:47 +0200 | wenzelm | moved Presburger setup back to Presburger.thy; | changeset | files |