src/HOL/Lambda/ROOT.ML
changeset 1165 97b2bb5d43c3
parent 1126 50ac36140e21
child 1269 ee011b365770
     1.1 --- a/src/HOL/Lambda/ROOT.ML	Thu Jun 29 12:34:16 1995 +0200
     1.2 +++ b/src/HOL/Lambda/ROOT.ML	Thu Jun 29 12:48:48 1995 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title: 	CHOL/IMP/ROOT.ML
     1.5 +(*  Title: 	HOL/IMP/ROOT.ML
     1.6      ID:         $Id$
     1.7      Author: 	Tobias Nipkow
     1.8      Copyright   1995 TUM
     1.9 @@ -12,8 +12,8 @@
    1.10  
    1.11  *)
    1.12  
    1.13 -CHOL_build_completed;	(*Make examples fail if CHOL did*)
    1.14 +HOL_build_completed;	(*Make examples fail if HOL did*)
    1.15  
    1.16 -writeln"Root file for CHOL/Lambda";
    1.17 +writeln"Root file for HOL/Lambda";
    1.18  loadpath := [".","Lambda"];
    1.19  time_use_thy "ParRed";