src/Pure/Isar/element.ML
changeset 19731 581cdbdbba9a
parent 19585 70a1ce3b23ae
child 19777 77929c3d2b74
     1.1 --- a/src/Pure/Isar/element.ML	Fri May 26 22:20:05 2006 +0200
     1.2 +++ b/src/Pure/Isar/element.ML	Fri May 26 22:20:05 2006 +0200
     1.3 @@ -236,8 +236,8 @@
     1.4  
     1.5  fun pretty_name_atts ctxt (name, atts) sep =
     1.6    if name = "" andalso null atts then []
     1.7 -  else [Pretty.block (Pretty.breaks (Pretty.str (ProofContext.extern_thm ctxt name) ::
     1.8 -    Args.pretty_attribs ctxt atts @ [Pretty.str sep]))];
     1.9 +  else [Pretty.block
    1.10 +    (Pretty.breaks (Pretty.str name :: Args.pretty_attribs ctxt atts @ [Pretty.str sep]))];
    1.11  
    1.12  
    1.13  (* pretty_stmt *)