Thu, 06 Jul 2000 15:38:42 +0200 | nipkow | Removed some junk thms. | changeset | files |
Thu, 06 Jul 2000 15:38:26 +0200 | nipkow | added zabs to arith_tac | changeset | files |
Thu, 06 Jul 2000 15:38:00 +0200 | nipkow | Deleted list_case thms no subsumed by case_tac | changeset | files |