# HG changeset patch
# User lcp
# Date 790563657 -3600
# Node ID 242b5050c1a624a8bcb08e085e00f9c8e92ac6c4
# Parent  452f1e6ae3bc5e5289debc3cf5bda9dfe313c4b9
README: Now documents to Tools directory

diff -r 452f1e6ae3bc -r 242b5050c1a6 README
--- a/README	Fri Jan 20 02:00:23 1995 +0100
+++ b/README	Fri Jan 20 02:00:57 1995 +0100
@@ -54,6 +54,7 @@
   COPYRIGHT 	Copyright notice and Disclaimer of Warranty
   Pure		contains source files for Pure Isabelle (no object-logic)
   Provers	contains generic theorem provers: simplifier, etc.
+  Tools		contains shell scripts and utilities 
 
 The following subdirectories contain object-logics:
   FOL 	  Natural deduction First-Order Logic (intuitionistic and classical)