doc-src/Ref/theories.tex
Fri, 28 Sep 2001 16:45:03 +0200 berghofe Added label for section on terms.
Sun, 04 Feb 2001 19:41:30 +0100 wenzelm added no_document;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Tue, 18 Jan 2000 11:33:31 +0100 paulson fixed many bad line & page breaks
Thu, 02 Sep 1999 15:24:00 +0200 wenzelm added with_path;
Tue, 03 Aug 1999 18:57:11 +0200 wenzelm fixed {};
Fri, 30 Jul 1999 15:56:33 +0200 wenzelm added update_thy_only;
Mon, 12 Jul 1999 21:51:47 +0200 wenzelm removed merge_theories;
Tue, 18 May 1999 12:35:10 +0200 paulson locale documentation (from Florian)
Mon, 17 May 1999 19:15:35 +0200 wenzelm remove_thy;
Mon, 10 May 1999 16:48:00 +0200 wenzelm axclass;
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Tue, 04 May 1999 11:27:25 +0200 wenzelm tuned;
Mon, 03 May 1999 19:03:35 +0200 wenzelm tuned;
Mon, 03 May 1999 18:35:48 +0200 wenzelm theory loader stuff updated and improved;
Thu, 27 Aug 1998 16:40:37 +0200 wenzelm moeved get_thm etc. to goals.tex;
Mon, 24 Aug 1998 18:58:12 +0200 wenzelm added nonterminals, setup;
Thu, 05 Feb 1998 10:26:59 +0100 paulson Fixed a lot of overfull and underfull lines (hboxes)
Fri, 09 Jan 1998 13:49:20 +0100 wenzelm several minor updates;
Mon, 08 Dec 1997 20:29:49 +0100 wenzelm \subsection{*Theory inclusion};
Fri, 05 Dec 1997 18:44:56 +0100 wenzelm tuned;
Thu, 27 Nov 1997 19:39:02 +0100 wenzelm several minor updates;
Wed, 02 Jul 1997 16:46:36 +0200 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
Thu, 15 May 1997 14:59:25 +0200 wenzelm removed garbage;
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Mon, 12 Aug 1996 16:26:02 +0200 paulson Added a new section on Definitions
Tue, 23 Jul 1996 13:19:27 +0200 paulson Corrected typo regarding the type of set_oracle
Thu, 11 Jul 1996 15:00:38 +0200 paulson Documentation of oracles and their syntax
Thu, 04 Apr 1996 18:01:47 +0200 nipkow Added 'constdefs'
Wed, 06 Mar 1996 12:19:16 +0100 clasohm documented new function 'section'
Tue, 27 Feb 1996 13:01:16 +0100 clasohm removed note about "IO exceptions" during HTML generation
Thu, 15 Feb 1996 10:51:22 +0100 clasohm updated documentation of MAKE_HTML
Fri, 26 Jan 1996 13:43:36 +0100 clasohm extended warning regarding MAKE_HTML databases
Fri, 26 Jan 1996 12:45:09 +0100 clasohm added warning for databases made with set MAKE_HTML
Mon, 18 Dec 1995 13:09:17 +0100 clasohm setting base_path is now optional
Thu, 07 Dec 1995 14:24:32 +0100 clasohm removed quotes from syntax and consts sections
Fri, 01 Dec 1995 12:27:09 +0100 clasohm changed HTML documentation
Mon, 27 Nov 1995 13:44:56 +0100 clasohm corrected documentation of pseudo theories;
Thu, 19 Jan 1995 16:05:21 +0100 clasohm added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
Wed, 18 Jan 1995 10:17:55 +0100 wenzelm quite a lot of minor and major revisions (inspecting theories, read_axm,
Mon, 18 Jul 1994 12:22:30 +0200 nipkow added init_thy_reader and removed extend_theory
Fri, 22 Apr 1994 18:18:37 +0200 lcp final Springer copy
Fri, 15 Apr 1994 17:42:33 +0200 lcp penultimate Springer draft
Mon, 21 Mar 1994 11:02:57 +0100 lcp first draft of Springer book
Tue, 01 Mar 1994 17:21:47 +0100 nipkow update towards LNCS
Sat, 26 Feb 1994 16:27:45 +0100 nipkow *** empty log message ***
Mon, 06 Dec 1993 09:35:35 +0100 nipkow Typos and style
Fri, 26 Nov 1993 16:35:38 +0100 lcp Minor edits to discussion of use_thy
Thu, 25 Nov 1993 14:32:54 +0100 clasohm changed beginning of "Reading a new theory", added index "automatic loading"
Thu, 25 Nov 1993 11:49:21 +0100 wenzelm added subsection 'Classes and types';
Thu, 25 Nov 1993 10:29:40 +0100 clasohm added index commands, removed last paragraph of "Using Poly/ML"
Mon, 22 Nov 1993 18:26:46 +0100 nipkow minor changes
Mon, 22 Nov 1993 16:03:36 +0100 clasohm added chapter "Defining Theories" and made changes for new Readthy functions
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip