Wed, 14 Jun 2000 18:23:51 +0200 | paulson | full_rename_numerals -> rename_numerals; tidied | changeset | files |
Wed, 14 Jun 2000 18:21:25 +0200 | paulson | a big tidy-up | changeset | files |
Wed, 14 Jun 2000 18:19:20 +0200 | paulson | installing the cancel_numerals and combine_numerals simprocs | changeset | files |
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 |