| Wed, 02 Aug 2006 22:26:37 +0200 | wenzelm | removed obsolete Drule.frees/vars_of etc.; | changeset | files |
| Wed, 02 Aug 2006 18:33:46 +0200 | krauss | Added type constraint to please sml/nj | changeset | files |
| Wed, 02 Aug 2006 18:30:57 +0200 | paulson | deleted obsolete file | changeset | files |
| Wed, 02 Aug 2006 18:19:48 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | changeset | files |
| Wed, 02 Aug 2006 16:50:41 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | changeset | files |
| Wed, 02 Aug 2006 13:48:21 +0200 | mengj | Only ignore too general axiom clauses, if the translation is partial- or constant-typed. | changeset | files |
| Wed, 02 Aug 2006 03:33:28 +0200 | webertj | type annotations fixed (IntInf.int, to make SML/NJ happy) | changeset | files |