| changeset 26424 | a6cad32a27b0 |
| parent 26066 | 19df083a2bbf |
| child 26562 | 9d25ef112cf6 |
--- a/src/HOL/Tools/meson.ML Thu Mar 27 14:41:07 2008 +0100 +++ b/src/HOL/Tools/meson.ML Thu Mar 27 14:41:09 2008 +0100 @@ -291,7 +291,7 @@ fun resop nf [prem] = resolve_tac (nf prem) 1; (*Any need to extend this list with - "HOL.type_class","HOL.eq_class","ProtoPure.term"?*) + "HOL.type_class","HOL.eq_class","Pure.term"?*) val has_meta_conn = exists_Const (member (op =) ["==", "==>", "all", "prop"] o #1);