changeset 184 | 7386b3758360 |
child 185 | 2fad78b479a3 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ROOT Tue Feb 19 04:31:18 2013 +0000 @@ -0,0 +1,12 @@ +session utm = HOL + + options [document = false] + theories + "thys/Turing" + "thys/Turing_Hoare" + "thys/Uncomputable" + "thys/Abacus_Mopup" + "thys/Abacus" + "thys/Rec_Def" + "thys/Recursive" + "thys/UF" + "thys/UTM"