# HG changeset patch
# User chaieb
# Date 1233908552 0
# Node ID 762c2c63fc9514d328c7407a9dda486483e7714c
# Parent  3ccd86c214bfa65674cdda95e8420df317e58235
fixed import

diff -r 3ccd86c214bf -r 762c2c63fc95 src/HOL/Reflection/Ferrack.thy
--- a/src/HOL/Reflection/Ferrack.thy	Fri Feb 06 00:13:15 2009 +0000
+++ b/src/HOL/Reflection/Ferrack.thy	Fri Feb 06 08:22:32 2009 +0000
@@ -3,7 +3,7 @@
 *)
 
 theory Ferrack
-imports Complex_Main Dense_linear_Order Efficient_Nat
+imports Complex_Main Dense_Linear_Order Efficient_Nat
 uses ("ferrack_tac.ML")
 begin