doc-src/Ref/theory-syntax.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-05-18 paulson 1999-05-18 locale documentation (from Florian)
1998-08-24 wenzelm 1998-08-24 added nonterminals, setup; removed print_data;
1998-05-04 wenzelm 1998-05-04 fixed constdefs syntax;
1998-01-09 wenzelm 1998-01-09 several minor updates;
1997-11-27 wenzelm 1997-11-27 several minor updates;
1997-05-16 wenzelm 1997-05-16 fixed infix syntax;
1997-05-07 wenzelm 1997-05-07 fixed witness syntax;
1997-05-06 wenzelm 1997-05-06 misc updates, tuning, cleanup;
1997-05-02 berghofe 1997-05-02 Updated to LaTeX 2e
1996-07-11 paulson 1996-07-11 Documentation of oracles and their syntax
1996-04-04 nipkow 1996-04-04 Added 'constdefs'
1996-02-09 nipkow 1996-02-09 Added typevarlist
1995-12-01 clasohm 1995-12-01 changed typeDecl
1995-12-01 clasohm 1995-12-01 corrected diagrams for type and simpleType
1995-12-01 clasohm 1995-12-01 modified simpleType
1995-11-30 clasohm 1995-11-30 removed spaghetti diagrams for constType
1995-11-29 clasohm 1995-11-29 changed syntax diagrams according to quote-less consts and syntax section
1995-06-21 nipkow 1995-06-21 Added remark that \...\ in strings is unnecessary.
1995-05-03 nipkow 1995-05-03 Simplified layout a little.
1995-05-02 nipkow 1995-05-02 Sections can now be given in any order.
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-23 nipkow 1994-03-23 have broken line
1994-03-21 lcp 1994-03-21 first draft of Springer book