diff -r e33306b4c62e -r 35fe8fe12e65 thys/abacus.thy
--- 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 {*