src/Pure/ROOT.ML
changeset 16842 5979c46853d1
parent 16781 663235466562
child 16980 79d6b391344b
     1.1 --- a/src/Pure/ROOT.ML	Thu Jul 14 19:28:23 2005 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Jul 14 19:28:24 2005 +0200
     1.3 @@ -1,9 +1,7 @@
     1.4  (*  Title:      Pure/ROOT.ML
     1.5      ID:         $Id$
     1.6 -    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7 -    Copyright   1993  University of Cambridge
     1.8  
     1.9 -Root file for Pure Isabelle.
    1.10 +Pure Isabelle.
    1.11  *)
    1.12  
    1.13  val banner = "Pure Isabelle";
    1.14 @@ -93,10 +91,8 @@
    1.15  (*configuration for Proof General*)
    1.16  use "proof_general.ML";
    1.17  
    1.18 -(* loading the Tools directory *)
    1.19  cd "Tools"; use "ROOT.ML"; cd "..";
    1.20  
    1.21 -(*the Pure theories*)
    1.22  use_thy "Pure"; structure Pure = struct val thy = theory "Pure" end;
    1.23  use_thy "CPure"; structure CPure = struct val thy = theory "CPure" end;
    1.24