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/Tools/Nitpick/nitpick_hol.ML
changeset 33202 0183ab3ca7b4
parent 33200 c56c627dae19
child 33232 f93390060bbe 
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Oct 26 09:14:29 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Oct 26 11:02:08 2009 +0100
@@ -1632,7 +1632,7 @@
 val cached_wf_props : (term * bool) list Unsynchronized.ref =
   Unsynchronized.ref []
 
-val termination_tacs = [LexicographicOrder.lex_order_tac,
+val termination_tacs = [Lexicographic_Order.lex_order_tac,
                         ScnpReconstruct.sizechange_tac]
 
 (* extended_context -> const_table -> styp -> bool *)
isabelle