Thu, 03 Jan 2008 16:29:37 +0100 | huffman | new lemma adm_upward | changeset | files |
Thu, 03 Jan 2008 10:27:40 +0100 | chaieb | Tuned (type information in Lemmas) | changeset | files |
Thu, 03 Jan 2008 10:27:34 +0100 | chaieb | Changed order of tactics in presburger --- thinning before case splits | changeset | files |