--- a/src/ZF/IMP/ROOT.ML Mon Jan 29 14:16:13 1996 +0100
+++ b/src/ZF/IMP/ROOT.ML Tue Jan 30 13:42:57 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: ZF/IMP/ROOT.ML
+(* Title: ZF/IMP/ROOT.ML
ID: $Id$
- Author: Heiko Loetzbeyer & Robert Sandner, TUM
+ Author: Heiko Loetzbeyer & Robert Sandner, TUM
Copyright 1994 TUM
Executes the formalization of the denotational and operational semantics of a
@@ -12,7 +12,7 @@
*)
-ZF_build_completed; (*Make examples fail if ZF did*)
+ZF_build_completed; (*Make examples fail if ZF did*)
writeln"Root file for ZF/IMP";
proof_timing := true;