--- a/src/HOL/Library/Fun_Lexorder.thy	Mon May 28 23:15:30 2018 +0100
+++ b/src/HOL/Library/Fun_Lexorder.thy	Tue May 29 14:05:59 2018 +0200
@@ -1,6 +1,6 @@
 (* Author: Florian Haftmann, TU Muenchen *)
 
-section \<open>Lexical order on functions\<close>
+section \<open>Lexicographic order on functions\<close>
 
 theory Fun_Lexorder
 imports Main