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 {*