README: Now documents to Tools directory
authorlcp
Fri Jan 20 02:00:57 1995 +0100 (1995-01-20)
changeset 869242b5050c1a6
parent 868 452f1e6ae3bc
child 870 ef6faaa415dc
README: Now documents to Tools directory
README
     1.1 --- a/README	Fri Jan 20 02:00:23 1995 +0100
     1.2 +++ b/README	Fri Jan 20 02:00:57 1995 +0100
     1.3 @@ -54,6 +54,7 @@
     1.4    COPYRIGHT 	Copyright notice and Disclaimer of Warranty
     1.5    Pure		contains source files for Pure Isabelle (no object-logic)
     1.6    Provers	contains generic theorem provers: simplifier, etc.
     1.7 +  Tools		contains shell scripts and utilities 
     1.8  
     1.9  The following subdirectories contain object-logics:
    1.10    FOL 	  Natural deduction First-Order Logic (intuitionistic and classical)