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