Mon, 23 Aug 1999 16:22:23 +0200 | nipkow | simplifier flex heads. | changeset | files |
Mon, 23 Aug 1999 16:13:42 +0200 | nipkow | Now rewrite rules with flexible heads are allowed. | changeset | files |
Mon, 23 Aug 1999 15:30:26 +0200 | wenzelm | isatool expandshort; | changeset | files |
Mon, 23 Aug 1999 15:27:27 +0200 | wenzelm | tuned; | changeset | files |
Mon, 23 Aug 1999 15:24:00 +0200 | berghofe | Moved sum_case to theory HOL/Datatype. | changeset | files |
Mon, 23 Aug 1999 11:43:21 +0200 | wenzelm | tuned; | changeset | files |
Mon, 23 Aug 1999 09:36:05 +0200 | nipkow | Corrected two busg in the simplifier. | changeset | files |