Wed, 08 Mar 1995 12:56:45 +0100 | nipkow | Enforced partial evaluation of mk_case_split_tac | changeset | files |
Wed, 08 Mar 1995 12:37:59 +0100 | nipkow | Added dependencies on files in Provers | changeset | files |
Wed, 08 Mar 1995 10:25:50 +0100 | nipkow | Added pretty-printing coments | changeset | files |