| changeset 41472 | f6ab14e61604 |
| parent 39159 | 0dec18004e75 |
| child 42284 | 326f57825e1a |
--- a/src/HOL/Tools/Qelim/cooper.ML Sat Jan 08 16:01:51 2011 +0100 +++ b/src/HOL/Tools/Qelim/cooper.ML Sat Jan 08 17:14:48 2011 +0100 @@ -51,7 +51,7 @@ ( type T = simpset * term list; val empty = (HOL_ss, allowed_consts); - val extend = I; + val extend = I; fun merge ((ss1, ts1), (ss2, ts2)) = (merge_ss (ss1, ss2), Library.merge (op aconv) (ts1, ts2)); );