diff -r 1544a8703787 -r dcc312f22ee8 src/HOL/Isar_Examples/ROOT.ML
--- a/src/HOL/Isar_Examples/ROOT.ML	Tue Feb 21 21:15:57 2012 +0100
+++ b/src/HOL/Isar_Examples/ROOT.ML	Tue Feb 21 22:50:28 2012 +0100
@@ -1,6 +1,6 @@
 (* Miscellaneous Isabelle/Isar examples for Higher-Order Logic. *)
 
-no_document use_thys ["../Number_Theory/Primes"];
+no_document use_thys ["~~/src/HOL/Library/Lattice_Syntax", "../Number_Theory/Primes"];
 
 use_thys [
   "Basic_Logic",