doc-src/Ref/theories.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-01-18 paulson 2000-01-18 fixed many bad line & page breaks
1999-09-02 wenzelm 1999-09-02 added with_path;
1999-08-03 wenzelm 1999-08-03 fixed {};
1999-07-30 wenzelm 1999-07-30 added update_thy_only; moved update_thy;
1999-07-12 wenzelm 1999-07-12 removed merge_theories;
1999-05-18 paulson 1999-05-18 locale documentation (from Florian)
1999-05-17 wenzelm 1999-05-17 remove_thy;
1999-05-10 wenzelm 1999-05-10 axclass;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-05-04 wenzelm 1999-05-04 tuned;
1999-05-03 wenzelm 1999-05-03 tuned;
1999-05-03 wenzelm 1999-05-03 theory loader stuff updated and improved;
1998-08-27 wenzelm 1998-08-27 moeved get_thm etc. to goals.tex;
1998-08-24 wenzelm 1998-08-24 added nonterminals, setup; removed print_data;
1998-02-05 paulson 1998-02-05 Fixed a lot of overfull and underfull lines (hboxes)
1998-01-09 wenzelm 1998-01-09 several minor updates;
1997-12-08 wenzelm 1997-12-08 \subsection{*Theory inclusion};
1997-12-05 wenzelm 1997-12-05 tuned;
1997-11-27 wenzelm 1997-11-27 several minor updates;
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-15 wenzelm 1997-05-15 removed garbage;
1997-05-06 wenzelm 1997-05-06 misc updates, tuning, cleanup;
1996-08-12 paulson 1996-08-12 Added a new section on Definitions
1996-07-23 paulson 1996-07-23 Corrected typo regarding the type of set_oracle
1996-07-11 paulson 1996-07-11 Documentation of oracles and their syntax
1996-04-04 nipkow 1996-04-04 Added 'constdefs'
1996-03-06 clasohm 1996-03-06 documented new function 'section'
1996-02-27 clasohm 1996-02-27 removed note about "IO exceptions" during HTML generation (Isabelle now just prints a warning)
1996-02-15 clasohm 1996-02-15 updated documentation of MAKE_HTML
1996-01-26 clasohm 1996-01-26 extended warning regarding MAKE_HTML databases
1996-01-26 clasohm 1996-01-26 added warning for databases made with set MAKE_HTML
1995-12-18 clasohm 1995-12-18 setting base_path is now optional
1995-12-07 clasohm 1995-12-07 removed quotes from syntax and consts sections
1995-12-01 clasohm 1995-12-01 changed HTML documentation
1995-11-27 clasohm 1995-11-27 corrected documentation of pseudo theories; added documentation of HTML generation
1995-01-19 clasohm 1995-01-19 added documentation of bind_thm, qed, qed_goal, get_thm, thms_of and theory_of_thm
1995-01-18 wenzelm 1995-01-18 quite a lot of minor and major revisions (inspecting theories, read_axm, cert_axm, grammar generation, lexical matters, macro examples, ...);
1994-07-18 nipkow 1994-07-18 added init_thy_reader and removed extend_theory
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
1994-03-01 nipkow 1994-03-01 update towards LNCS
1994-02-26 nipkow 1994-02-26 *** empty log message ***
1993-12-06 nipkow 1993-12-06 Typos and style
1993-11-26 lcp 1993-11-26 Minor edits to discussion of use_thy
1993-11-25 clasohm 1993-11-25 changed beginning of "Reading a new theory", added index "automatic loading"
1993-11-25 wenzelm 1993-11-25 added subsection 'Classes and types'; added syntax and short explanation of translations section;
1993-11-25 clasohm 1993-11-25 added index commands, removed last paragraph of "Using Poly/ML"
1993-11-22 nipkow 1993-11-22 minor changes
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