| Wed, 14 Jun 2000 18:00:46 +0200 | wenzelm | tuned tappl syntax; | changeset | files |
| Wed, 14 Jun 2000 17:59:53 +0200 | wenzelm | theorems [cases type: bool] = case_split; | changeset | files |
| Wed, 14 Jun 2000 17:47:18 +0200 | paulson | full_rename_numerals -> rename_numerals; tidied | changeset | files |
| Wed, 14 Jun 2000 17:46:10 +0200 | paulson | tidied a proof using new lemmas for signs of products | changeset | files |
| Wed, 14 Jun 2000 17:45:01 +0200 | paulson | new lemmas for signs of products | changeset | files |
| Wed, 14 Jun 2000 17:44:43 +0200 | paulson | new default simprules for m*n = 0 | changeset | files |
| Tue, 13 Jun 2000 18:36:06 +0200 | wenzelm | tuned; | changeset | files |