doc-src/Ref/theories.tex
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