ROOT
changeset 198 d93cc4295306
parent 187 326310016da9
child 271 4457185b22ef
equal deleted inserted replaced
197:0eef61c56891 198:d93cc4295306
     4     "thys/Turing"
     4     "thys/Turing"
     5     "thys/Turing_Hoare"
     5     "thys/Turing_Hoare"
     6     "thys/Uncomputable"
     6     "thys/Uncomputable"
     7     "thys/Abacus_Mopup"
     7     "thys/Abacus_Mopup"
     8     "thys/Abacus"
     8     "thys/Abacus"
       
     9     "thys/Abacus_Defs"
     9     "thys/Rec_Def"
    10     "thys/Rec_Def"
    10     "thys/Recursive"
    11     "thys/Recursive"
    11     "thys/UF"
    12     "thys/UF"
    12     "thys/UTM"
    13     "thys/UTM"
    13 
    14