--- a/src/HOL/Orderings.thy Tue Jun 05 19:22:01 2007 +0200
+++ b/src/HOL/Orderings.thy Tue Jun 05 19:23:09 2007 +0200
@@ -7,6 +7,9 @@
theory Orderings
imports HOL
+uses
+ (*"~~/src/Provers/quasi.ML"*)
+ "~~/src/Provers/order.ML"
begin
subsection {* Order syntax *}