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/HOL/SPARK/Tools/spark_commands.ML
changeset 61268 abe08fb15a12
parent 59936 b8ffc3dc9e24
child 62969 9f394a16c557 
--- a/src/HOL/SPARK/Tools/spark_commands.ML	Fri Sep 25 20:04:25 2015 +0200
+++ b/src/HOL/SPARK/Tools/spark_commands.ML	Fri Sep 25 20:37:59 2015 +0200
@@ -78,7 +78,7 @@
      Pretty.chunks (map (fn (b, th) => Pretty.block
        [Binding.pretty b, Pretty.str ":",
         Pretty.brk 1,
-        Display.pretty_thm ctxt th])
+        Thm.pretty_thm ctxt th])
           defs),
 
      Pretty.str "Verification conditions:",
isabelle