src/Pure/Isar/specification.ML
changeset 28791 cc16be808796
parent 28710 e2064974c114
child 28820 95dd21624c6c
     1.1 --- a/src/Pure/Isar/specification.ML	Fri Nov 14 08:50:08 2008 +0100
     1.2 +++ b/src/Pure/Isar/specification.ML	Fri Nov 14 08:50:09 2008 +0100
     1.3 @@ -345,7 +345,7 @@
     1.4          lthy
     1.5          |> LocalTheory.notes kind (map2 (fn (a, _) => fn ths => (a, [(ths, [])])) stmt results')
     1.6          |> (fn (res, lthy') =>
     1.7 -          if Name.name_of name = "" andalso null atts then
     1.8 +          if Name.is_nothing name andalso null atts then
     1.9              (ProofDisplay.print_results true lthy' ((kind, ""), res); lthy')
    1.10            else
    1.11              let