src/Pure/Isar/attrib.ML
changeset 18418 bf448d999b7e
parent 18243 1287b15f27ef
child 18636 cb068cfdcac8
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Dec 15 21:51:31 2005 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Dec 16 09:00:11 2005 +0100
     1.3 @@ -180,7 +180,7 @@
     1.4      let
     1.5        val ths = PureThy.select_thm thmref fact;
     1.6        val atts = map (attrib (theory_of st)) srcs;
     1.7 -      val (st', ths') = Thm.applys_attributes ((st, ths), atts);
     1.8 +      val (st', ths') = Thm.applys_attributes atts (st, ths);
     1.9      in (st', pick name ths') end));
    1.10  
    1.11  val global_thm = gen_thm I global_attribute_i PureThy.get_thms PureThy.single_thm;