--- a/thys/abacus.thy	Tue Jan 22 14:46:02 2013 +0000
+++ b/thys/abacus.thy	Wed Jan 23 08:01:35 2013 +0100
@@ -3,7 +3,7 @@
 *}
 
 theory abacus
-imports Main turing_hoare
+imports Main turing_basic
 begin
 
 text {*