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 |
Tue, 07 Mar 1995 15:00:34 +0100 | nipkow | *** empty log message *** | changeset | files |
Tue, 07 Mar 1995 14:59:24 +0100 | nipkow | *** empty log message *** | changeset | files |
Tue, 07 Mar 1995 14:57:37 +0100 | nipkow | Hoare logic | changeset | files |
Tue, 07 Mar 1995 13:37:48 +0100 | lcp | Changed Univ to Datatype in parents | changeset | files |