doc-src/Ref/introduction.tex
1997-05-15 wenzelm 1997-05-15 sysman refs; removed garbage;
1997-05-06 wenzelm 1997-05-06 misc updates, tuning, cleanup;
1996-11-26 paulson 1996-11-26 Added instructions on starting up
1995-11-29 clasohm 1995-11-29 added \label{sec:shell-scripts}
1995-05-03 lcp 1995-05-03 show_sorts:=true forces display of types
1995-01-27 clasohm 1995-01-27 added documentation of pwd
1994-08-04 lcp 1994-08-04 addition of show_brackets
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-21 lcp 1994-03-21 first draft of Springer book
1993-11-26 lcp 1993-11-26 Minor edits to discussion of use_thy
1993-11-26 lcp 1993-11-26 Correction to eta-contraction; thanks to Markus W.
1993-11-25 wenzelm 1993-11-25 corrected trivial typo;
1993-11-25 clasohm 1993-11-25 added index commands, removed last paragraph of "Using Poly/ML"
1993-11-22 clasohm 1993-11-22 added chapter "Defining Theories" and made changes for new Readthy functions
1993-11-10 lcp 1993-11-10 Initial revision