| Fri, 27 Nov 1998 11:24:27 +0100 | paulson | Addition of Hyperreal theories Zorn and Filter | changeset | files |
| Fri, 27 Nov 1998 10:40:29 +0100 | paulson | moved diag (diagonal relation) from Univ to Relation | changeset | files |
| Thu, 26 Nov 1998 17:40:10 +0100 | paulson | tidied up list definitions, using type 'a option instead of | changeset | files |
| Thu, 26 Nov 1998 16:37:56 +0100 | mueller | tuning to assimiliate it with PhD; | changeset | files |
| Thu, 26 Nov 1998 12:18:51 +0100 | nipkow | Added a general refutation tactic which works by putting things into nnf first. | changeset | files |
| Thu, 26 Nov 1998 12:18:08 +0100 | nipkow | Added filter_prems_tac | changeset | files |