# 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)