--- a/thys/UF.thy	Thu Feb 07 06:39:06 2013 +0000
+++ b/thys/UF.thy	Sun Feb 10 19:49:07 2013 +0000
@@ -1,5 +1,5 @@
 theory UF
-imports Main rec_def turing_basic GCD abacus
+imports Rec_Def GCD Abacus
 begin
 
 text {*