Wed, 02 Nov 1994 10:45:14 +0100 | lcp | Pure/sign/infer_types/exn_type_msg: new, for more uniform handling of | changeset | files |
Wed, 02 Nov 1994 09:09:30 +0100 | nipkow | Modified pattern.ML to perform proper matching of Higher-Order Patterns. | changeset | files |
Tue, 01 Nov 1994 10:40:10 +0100 | lcp | FOL/FOL/swap: deleted | changeset | files |