doc-src/Intro/advanced.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1998-07-28 paulson 1998-07-28 Changed "goal" to "Goal"
1997-07-02 paulson 1997-07-02 Now there are TWO spaces after each full stop, so that the Emacs sentence primitives work
1997-05-16 wenzelm 1997-05-16 hint at more sections; named infixes;
1997-05-06 wenzelm 1997-05-06 fixed simplifier ex;
1997-05-05 wenzelm 1997-05-05 tuned;
1997-05-05 wenzelm 1997-05-05 misc updates, tuning, cleanup;
1996-08-12 paulson 1996-08-12 Rewording: parameters->arguments!
1996-04-04 nipkow 1996-04-04 Added 'constdefs' and extended the section on 'defs'
1996-01-31 nipkow 1996-01-31 right-hard -> right-hand
1996-01-31 nipkow 1996-01-31 Typo
1995-12-07 clasohm 1995-12-07 removed quotes from syntax and consts sections
1995-11-24 nipkow 1995-11-24 Inserted warning about defs with extra vars on rhs.
1995-07-25 lcp 1995-07-25 trivial update
1995-05-03 lcp 1995-05-03 Covers defs and re-ordering of theory sections
1995-01-02 wenzelm 1995-01-02 fixed minor typos;
1994-07-11 lcp 1994-07-11 minor edits
1994-05-03 lcp 1994-05-03 post-CRC corrections
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-04-04 lcp 1994-04-04 modifications towards final draft
1994-03-24 nipkow 1994-03-24 added section on type synonyms
1994-03-24 lcp 1994-03-24 revisions to first Springer draft
1994-03-19 lcp 1994-03-19 First draft of Springer book
1993-11-26 lcp 1993-11-26 Corrected errors found by Marcus Wenzel.
1993-11-11 clasohm 1993-11-11 adapted "Defining theories" to new use_thy
1993-11-10 lcp 1993-11-10 Initial revision