--- a/src/Tools/README	Wed May 21 17:11:46 1997 +0200
+++ b/src/Tools/README	Wed May 21 17:13:00 1997 +0200
@@ -1,3 +1,11 @@
+
+***************************************************************************
+
+IMPORTANT NOTE: These tools will disappear next time!
+
+***************************************************************************
+
+
 	Tools: Shell scripts and utilities associated with Isabelle
 
 To make these tools visible, you may wish to add this directory to your PATH