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/ex/Radix_Sort.thy
changeset 68312 e9b5f25f6712
parent 68249 949d93804740
child 68386 98cf1c823c48 
--- a/src/HOL/ex/Radix_Sort.thy	Mon May 28 23:15:30 2018 +0100
+++ b/src/HOL/ex/Radix_Sort.thy	Tue May 29 14:05:59 2018 +0200
@@ -2,7 +2,7 @@
 
 theory Radix_Sort
 imports
-  "HOL-Library.List_lexord" 
+  "HOL-Library.List_Lexorder" 
   "HOL-Library.Sublist" 
   "HOL-Library.Multiset" 
 begin
isabelle