--- a/src/HOL/Fun.thy Sat Sep 10 00:44:25 2011 +0200
+++ b/src/HOL/Fun.thy Sat Sep 10 10:29:24 2011 +0200
@@ -6,7 +6,7 @@
header {* Notions about functions *}
theory Fun
-imports Complete_Lattice
+imports Complete_Lattices
uses ("Tools/enriched_type.ML")
begin