--- a/src/HOL/Library/Code_Index.thy Tue Dec 18 12:26:24 2007 +0100 +++ b/src/HOL/Library/Code_Index.thy Tue Dec 18 14:37:00 2007 +0100 @@ -5,7 +5,7 @@ header {* Type of indices *} theory Code_Index -imports PreList +imports ATP_Linkup begin text {*