Added documenation of change_simp.
authorlcp
Fri Nov 05 11:48:53 1993 +0100 (1993-11-05)
changeset 93082f40a66fd3
parent 92 7252e7699e24
child 94 40f292719398
Added documenation of change_simp.
README
     1.1 --- a/README	Thu Nov 04 14:15:46 1993 +0100
     1.2 +++ b/README	Fri Nov 05 11:48:53 1993 +0100
     1.3 @@ -48,6 +48,7 @@
     1.4  Other important files include...
     1.5    COPYRIGHT   		Copyright notice and Disclaimer of Warranty
     1.6    make-all		shell script for building entire system
     1.7 +  change_simp		shell script to help convert sources to new simplifier
     1.8    expandshort		shell script to expand "shortcuts" in files
     1.9    prove_goal.el       	Emacs command to change proof format
    1.10    xlisten		shell script for running Isabelle under X
    1.11 @@ -97,8 +98,8 @@
    1.12  
    1.13  ------------------------------------------------------------------------------
    1.14  
    1.15 -Please report any problems you encounter.  While we will try to be helpful,
    1.16 -we can accept no responsibility for the deficiences of Isabelle amd their
    1.17 +Please report any problems you encounter.  While we shall try to be helpful,
    1.18 +we can accept no responsibility for the deficiences of Isabelle and their
    1.19  consequences.
    1.20  
    1.21  Lawrence C Paulson		E-mail: lcp@cl.cam.ac.uk
    1.22 @@ -115,4 +116,4 @@
    1.23  D-8000 Muenchen 2
    1.24  Germany
    1.25  
    1.26 -Last updated 28 October 1993
    1.27 +Last updated 5 November 1993