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/Library/Lexord.thy
changeset 73846 9447668d1b77
parent 73794 e75635a0bafd
child 75244 f70b1a2c2783 
--- a/src/HOL/Library/Lexord.thy	Wed Jun 09 18:04:21 2021 +0000
+++ b/src/HOL/Library/Lexord.thy	Wed Jun 09 18:04:22 2021 +0000
@@ -194,8 +194,6 @@
     apply (auto simp add: dvd_strict_def)
   done
 
-print_theorems
-
 global_interpretation lex_dvd: preordering lex_dvd lex_dvd_strict
   by (fact dvd.preordering)
isabelle