| changeset 59916 | f673ce6b1e2b |
| parent 59888 | 27e4d0ab0948 |
| child 59934 | b65c4370f831 |
--- a/src/Pure/Tools/find_theorems.ML Thu Apr 02 20:46:44 2015 +0200 +++ b/src/Pure/Tools/find_theorems.ML Fri Apr 03 18:36:19 2015 +0200 @@ -328,7 +328,7 @@ local val index_ord = option_ord (K EQUAL); -val hidden_ord = bool_ord o apply2 (is_some o Long_Name.dest_hidden); +val hidden_ord = bool_ord o apply2 Long_Name.is_hidden; val qual_ord = int_ord o apply2 Long_Name.qualification; val txt_ord = int_ord o apply2 size;