Syntax.global_read_sort;
authorwenzelm
Tue Aug 14 23:23:04 2007 +0200 (2007-08-14)
changeset 242767a0f71fde62c
parent 24275 bbc3dab6d4fe
child 24277 6442fde2daaa
Syntax.global_read_sort;
src/Pure/Isar/class.ML
     1.1 --- a/src/Pure/Isar/class.ML	Tue Aug 14 23:23:00 2007 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Tue Aug 14 23:23:04 2007 +0200
     1.3 @@ -617,7 +617,7 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val instance_sort_cmd = gen_instance_sort Sign.read_class Sign.read_sort;
     1.8 +val instance_sort_cmd = gen_instance_sort Sign.read_class Syntax.global_read_sort;
     1.9  val instance_sort = gen_instance_sort Sign.certify_class Sign.certify_sort;
    1.10  val prove_instance_sort = instance_sort' o prove_interpretation_in;
    1.11  val instance_class_cmd = gen_instance_class Sign.read_class;