1999-09-24 ago tuned;
1999-08-19 ago finished theories;
1999-07-30 ago added update_thy_only;
1999-05-10 ago pdf setup;
1999-05-04 ago tuned;
1999-05-03 ago tuned;
1999-05-03 ago theory loader stuff updated and improved;
1999-03-10 ago updated;
1999-01-06 ago fixed commit spec;
1998-08-24 ago emacs local vars;
1998-01-09 ago several minor updates;
1997-11-27 ago several minor updates;
1997-11-21 ago cd, use: path variables;
1997-07-02 ago Now there are TWO spaces after each full stop, so that the Emacs sentence
1997-05-15 ago sysman refs;
1997-05-06 ago misc updates, tuning, cleanup;
1996-11-26 ago Added instructions on starting up
1995-11-29 ago added \label{sec:shell-scripts}
1995-05-03 ago show_sorts:=true forces display of types
1995-01-27 ago added documentation of pwd
1994-08-04 ago addition of show_brackets
1994-04-22 ago final Springer copy
1994-04-15 ago penultimate Springer draft
1994-03-21 ago first draft of Springer book
1993-11-26 ago Minor edits to discussion of use_thy
1993-11-26 ago Correction to eta-contraction; thanks to Markus W.
1993-11-25 ago corrected trivial typo;
1993-11-25 ago added index commands, removed last paragraph of "Using Poly/ML"
1993-11-22 ago added chapter "Defining Theories" and made changes for new Readthy functions
1993-11-10 ago Initial revision