--- a/src/HOL/IMP/ROOT.ML Fri Jul 07 16:46:02 2000 +0200
+++ b/src/HOL/IMP/ROOT.ML Fri Jul 07 16:47:56 2000 +0200
@@ -2,6 +2,8 @@
ID: $Id$
Author: Heiko Loetzbeyer, Robert Sandner, Tobias Nipkow
Copyright 1995 TUM
+
+Caveat: HOLCF/IMP depends on HOL/IMP
*)
time_use_thy "Expr";