changeset 1463 | 49ca5e875691 |
parent 1459 | d12da312eff4 |
child 2603 | 4988dda71c0b |
--- a/src/FOLP/simpdata.ML Tue Jan 30 13:56:16 1996 +0100 +++ b/src/FOLP/simpdata.ML Tue Jan 30 15:12:53 1996 +0100 @@ -1,9 +1,9 @@ -(* Title: FOL/simpdata +(* Title: FOLP/simpdata.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge -Simplification data for FOL +Simplification data for FOLP *) (*** Rewrite rules ***)