src/Pure/Tools/find_theorems.ML
changeset 30364 577edc39b501
parent 30318 3d03190d2864
child 30473 e0b66c11e7e4
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Sun Mar 08 17:19:15 2009 +0100
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Sun Mar 08 17:26:14 2009 +0100
     1.3 @@ -279,7 +279,7 @@
     1.4  
     1.5  val index_ord = option_ord (K EQUAL);
     1.6  val hidden_ord = bool_ord o pairself NameSpace.is_hidden;
     1.7 -val qual_ord = int_ord o pairself (length o NameSpace.explode);
     1.8 +val qual_ord = int_ord o pairself (length o Long_Name.explode);
     1.9  val txt_ord = int_ord o pairself size;
    1.10  
    1.11  fun nicer_name (x, i) (y, j) =