Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/specification.ML
changeset 28791 cc16be808796
parent 28710 e2064974c114
child 28820 95dd21624c6c 
--- a/src/Pure/Isar/specification.ML	Fri Nov 14 08:50:08 2008 +0100
+++ b/src/Pure/Isar/specification.ML	Fri Nov 14 08:50:09 2008 +0100
@@ -345,7 +345,7 @@
         lthy
         |> LocalTheory.notes kind (map2 (fn (a, _) => fn ths => (a, [(ths, [])])) stmt results')
         |> (fn (res, lthy') =>
-          if Name.name_of name = "" andalso null atts then
+          if Name.is_nothing name andalso null atts then
             (ProofDisplay.print_results true lthy' ((kind, ""), res); lthy')
           else
             let
isabelle