--- a/src/HOL/Orderings.thy Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/Orderings.thy Fri Jun 17 16:12:49 2005 +0200
@@ -9,7 +9,7 @@
theory Orderings
imports Lattice_Locales
-files ("antisym_setup.ML")
+uses ("antisym_setup.ML")
begin
subsection {* Order signatures and orders *}