src/CTT/ROOT.ML
author krauss
Wed Sep 23 13:48:35 2009 +0200 (2009-09-23)
changeset 32654 5f9127407430
parent 25750 4e796867ccb5
child 33615 261abc2e3155
permissions -rw-r--r--
atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
wenzelm@19761
     1
(*  Title:      CTT/ROOT.ML
clasohm@0
     2
    ID:         $Id$
clasohm@1459
     3
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
clasohm@0
     4
    Copyright   1991  University of Cambridge
clasohm@0
     5
*)
clasohm@0
     6
wenzelm@25750
     7
use_thy "Main";
clasohm@0
     8