1 (* Title: thys/Abacus_Mopup.thy

     1 (* Title: thys/Abacus_Mopup.thy

     2    Author: Jian Xu, Xingyuan Zhang, and Christian Urban

     2    Author: Jian Xu, Xingyuan Zhang, and Christian Urban

     3 *)

     4 *)

     4 

     5 

     5 chapter {* Mopup Turing Machine that deletes all "registers", except one *}

     6 chapter {* Mopup Turing Machine that deletes all "registers", except one *}

     6 

     7 

     7 theory Abacus_Mopup

     8 theory Abacus_Mopup