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/Orderings.thy
changeset 46950 d0181abdbdac
parent 46884 154dc6ec0041
child 46961 5c6955f487e5 
--- a/src/HOL/Orderings.thy	Thu Mar 15 20:07:00 2012 +0100
+++ b/src/HOL/Orderings.thy	Thu Mar 15 22:08:53 2012 +0100
@@ -6,6 +6,7 @@
 
 theory Orderings
 imports HOL
+keywords "print_orders" :: diag
 uses
   "~~/src/Provers/order.ML"
   "~~/src/Provers/quasi.ML"  (* FIXME unused? *)
isabelle