src/Pure/axclass.ML
changeset 36328 4d9deabf6474
parent 36327 c0415cb24a10
child 36329 85004134055c
     1.1 --- a/src/Pure/axclass.ML	Sun Apr 25 21:02:36 2010 +0200
     1.2 +++ b/src/Pure/axclass.ML	Sun Apr 25 21:18:04 2010 +0200
     1.3 @@ -176,7 +176,7 @@
     1.4      val certT = Thm.ctyp_of thy;
     1.5  
     1.6      val classrels = fst (get_instances thy);
     1.7 -    val classes = #classes (Sorts.rep_algebra (Sign.classes_of thy));
     1.8 +    val classes = Sorts.classes_of (Sign.classes_of thy);
     1.9  
    1.10      fun reflcl_classrel (c1', c2') =
    1.11        if c1' = c2'