doc-src/Ref/theories.tex
2006-05-13 wenzelm moved defs explanation to isar-ref;
2001-09-28 berghofe Added label for section on terms.
2001-02-04 wenzelm added no_document;
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
2000-01-18 paulson fixed many bad line & page breaks
1999-09-02 wenzelm added with_path;
1999-08-03 wenzelm fixed {};
1999-07-30 wenzelm added update_thy_only;
1999-07-12 wenzelm removed merge_theories;
1999-05-18 paulson locale documentation (from Florian)
1999-05-17 wenzelm remove_thy;
1999-05-10 wenzelm axclass;
1999-05-05 paulson Now uses manual.bib; some references updated
1999-05-04 wenzelm tuned;
1999-05-03 wenzelm tuned;
1999-05-03 wenzelm theory loader stuff updated and improved;
1998-08-27 wenzelm moeved get_thm etc. to goals.tex;
1998-08-24 wenzelm added nonterminals, setup;
1998-02-05 paulson Fixed a lot of overfull and underfull lines (hboxes)
1998-01-09 wenzelm several minor updates;
1997-12-08 wenzelm \subsection{*Theory inclusion};
1997-12-05 wenzelm tuned;
1997-11-27 wenzelm several minor updates;
1997-07-02 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
1997-05-15 wenzelm removed garbage;
1997-05-06 wenzelm misc updates, tuning, cleanup;
1996-08-12 paulson Added a new section on Definitions
1996-07-23 paulson Corrected typo regarding the type of set_oracle
1996-07-11 paulson Documentation of oracles and their syntax
1996-04-04 nipkow Added 'constdefs'
1996-03-06 clasohm documented new function 'section'
1996-02-27 clasohm removed note about "IO exceptions" during HTML generation
1996-02-15 clasohm updated documentation of MAKE_HTML
1996-01-26 clasohm extended warning regarding MAKE_HTML databases
1996-01-26 clasohm added warning for databases made with set MAKE_HTML
1995-12-18 clasohm setting base_path is now optional
1995-12-07 clasohm removed quotes from syntax and consts sections
1995-12-01 clasohm changed HTML documentation
1995-11-27 clasohm corrected documentation of pseudo theories;
1995-01-19 clasohm added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
1995-01-18 wenzelm quite a lot of minor and major revisions (inspecting theories, read_axm,
1994-07-18 nipkow added init_thy_reader and removed extend_theory
1994-04-22 lcp final Springer copy
1994-04-15 lcp penultimate Springer draft
1994-03-21 lcp first draft of Springer book
1994-03-01 nipkow update towards LNCS
1994-02-26 nipkow *** empty log message ***
1993-12-06 nipkow Typos and style
1993-11-26 lcp Minor edits to discussion of use_thy
1993-11-25 clasohm changed beginning of "Reading a new theory", added index "automatic loading"
1993-11-25 wenzelm added subsection 'Classes and types';
1993-11-25 clasohm added index commands, removed last paragraph of "Using Poly/ML"
1993-11-22 nipkow minor changes
1993-11-22 clasohm added chapter "Defining Theories" and made changes for new Readthy functions
1993-11-10 lcp Initial revision
less more (0) tip