# HG changeset patch
# User lcp
# Date 752496533 -3600
# Node ID 082f40a66fd3d4ff5ac493e806dba562a804265e
# Parent  7252e7699e247af615aa0085abb7dabd6797df00
Added documenation of change_simp.

diff -r 7252e7699e24 -r 082f40a66fd3 README
--- a/README	Thu Nov 04 14:15:46 1993 +0100
+++ b/README	Fri Nov 05 11:48:53 1993 +0100
@@ -48,6 +48,7 @@
 Other important files include...
   COPYRIGHT   		Copyright notice and Disclaimer of Warranty
   make-all		shell script for building entire system
+  change_simp		shell script to help convert sources to new simplifier
   expandshort		shell script to expand "shortcuts" in files
   prove_goal.el       	Emacs command to change proof format
   xlisten		shell script for running Isabelle under X
@@ -97,8 +98,8 @@
 
 ------------------------------------------------------------------------------
 
-Please report any problems you encounter.  While we will try to be helpful,
-we can accept no responsibility for the deficiences of Isabelle amd their
+Please report any problems you encounter.  While we shall try to be helpful,
+we can accept no responsibility for the deficiences of Isabelle and their
 consequences.
 
 Lawrence C Paulson		E-mail: lcp@cl.cam.ac.uk
@@ -115,4 +116,4 @@
 D-8000 Muenchen 2
 Germany
 
-Last updated 28 October 1993
+Last updated 5 November 1993