| changeset 55669 | 4612c450b59c |
| parent 54742 | 7a86358a3c0b |
| child 55670 | 95454b2980ee |
--- a/src/Pure/Tools/find_theorems.ML Sat Feb 22 16:16:21 2014 +0100 +++ b/src/Pure/Tools/find_theorems.ML Sat Feb 22 16:58:02 2014 +0100 @@ -359,7 +359,7 @@ local val index_ord = option_ord (K EQUAL); -val hidden_ord = bool_ord o pairself Name_Space.is_hidden; +val hidden_ord = bool_ord o pairself Long_Name.is_hidden; val qual_ord = int_ord o pairself (length o Long_Name.explode); val txt_ord = int_ord o pairself size;