Paper/ROOT.ML
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 06 Feb 2013 02:39:53 +0000
changeset 127 469c26d19f8e
parent 111 dfc629cd11de
child 164 8a3e63163910
permissions -rw-r--r--
moved old files into attic

no_document 
use_thys ["../thys/turing_basic", 
          "../thys/turing_hoare",
          "../thys/uncomputable", 
          "../thys/abacus"(*,
          "../thys/rec_def",
          "../thys/recursive"*)];

use_thys ["Paper"]