equal
deleted
inserted
replaced
973 |
973 |
974 (* lthms_containing *) |
974 (* lthms_containing *) |
975 |
975 |
976 fun lthms_containing ctxt spec = |
976 fun lthms_containing ctxt spec = |
977 FactIndex.find (fact_index_of ctxt) spec |
977 FactIndex.find (fact_index_of ctxt) spec |
978 |> map (valid_thms ctxt ? apfst (fn name => |
978 |> map ((not o valid_thms ctxt) ? apfst (fn name => |
979 NameSpace.hidden (if name = "" then "unnamed" else name))); |
979 NameSpace.hidden (if name = "" then "unnamed" else name))); |
980 |
980 |
981 |
981 |
982 (* name space operations *) |
982 (* name space operations *) |
983 |
983 |