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/code.ML
changeset 66332 489667636064
parent 66330 dcb3e6bdc00a
child 67032 ed499d1252fc 
--- a/src/Pure/Isar/code.ML	Thu Aug 03 12:50:03 2017 +0200
+++ b/src/Pure/Isar/code.ML	Fri Aug 04 08:12:37 2017 +0200
@@ -1072,7 +1072,7 @@
       end;
 
 fun pretty_cert _ (Nothing _) =
-      [Pretty.str "(unimplemented)"]
+      []
   | pretty_cert thy (cert as Equations _) =
       (map_filter
         (Option.map (Thm.pretty_thm_global thy o
isabelle