1 session utm = HOL +

     2   options [document = false]

     3   theories

     4     "thys/Turing"

     5     "thys/Turing_Hoare"

     6     "thys/Uncomputable"

     7     "thys/Abacus_Mopup"

     8     "thys/Abacus"

     9     "thys/Rec_Def"

    10     "thys/Recursive"

    11     "thys/UF"

    12     "thys/UTM"