changeset 1465 | 5d7a7e439cec |
parent 1351 | 4a960c012383 |
child 5261 | ce3c25c8a694 |
--- a/src/HOL/Lambda/ROOT.ML Tue Jan 30 15:19:20 1996 +0100 +++ b/src/HOL/Lambda/ROOT.ML Tue Jan 30 15:24:36 1996 +0100 @@ -1,10 +1,10 @@ -(* Title: HOL/Lambda/ROOT.ML +(* Title: HOL/Lambda/ROOT.ML ID: $Id$ - Author: Tobias Nipkow + Author: Tobias Nipkow Copyright 1995 TUM *) -HOL_build_completed; (*Make examples fail if HOL did*) +HOL_build_completed; (*Make examples fail if HOL did*) writeln"Root file for HOL/Lambda";