1 no_document 

     2 use_thys ["../thys/turing_basic", 

     3           "../thys/uncomputable"(*, 

     4           "../thys/abacus"*)];

     5 

     6 use_thys ["Paper"]