wenzelm [Mon, 29 Nov 1993 13:51:37 +0100] rev 168
*** empty log message ***
wenzelm [Mon, 29 Nov 1993 12:32:42 +0100] rev 167
added (partial) extend_tables;
improved extend;
fixed roots handling of extend and merge;
wenzelm [Mon, 29 Nov 1993 12:29:41 +0100] rev 166
changed datatype ext;
wenzelm [Mon, 29 Nov 1993 12:28:09 +0100] rev 165
improved comments;
wenzelm [Mon, 29 Nov 1993 12:27:29 +0100] rev 164
added SCANNER;
changed scan_any: no longer uses take_prefix;
wenzelm [Mon, 29 Nov 1993 12:25:15 +0100] rev 163
added Scanner;
nipkow [Mon, 29 Nov 1993 12:10:17 +0100] rev 162
added logical_types
wenzelm [Mon, 29 Nov 1993 12:00:57 +0100] rev 161
improved comments;
wenzelm [Mon, 29 Nov 1993 11:08:17 +0100] rev 160
added equal, not_equal: ''a -> ''a -> bool
lcp [Fri, 26 Nov 1993 16:35:38 +0100] rev 159
Minor edits to discussion of use_thy
lcp [Fri, 26 Nov 1993 13:00:35 +0100] rev 158
Correction to eta-contraction; thanks to Markus W.
lcp [Fri, 26 Nov 1993 12:54:58 +0100] rev 157
Correction to page 16; thanks to Markus W.
lcp [Fri, 26 Nov 1993 12:31:48 +0100] rev 156
Corrected errors found by Marcus Wenzel.
nipkow [Thu, 25 Nov 1993 19:09:43 +0100] rev 155
changed some names and deleted *NORMALIZED*
wenzelm [Thu, 25 Nov 1993 15:32:42 +0100] rev 154
corrected obvious errors;
wenzelm [Thu, 25 Nov 1993 15:15:53 +0100] rev 153
corrected obvious errors;
wenzelm [Thu, 25 Nov 1993 14:43:42 +0100] rev 152
*** empty log message ***
wenzelm [Thu, 25 Nov 1993 14:42:46 +0100] rev 151
corrected some obvious errors;
clasohm [Thu, 25 Nov 1993 14:32:54 +0100] rev 150
changed beginning of "Reading a new theory", added index "automatic loading"
wenzelm [Thu, 25 Nov 1993 14:23:04 +0100] rev 149
corrected trivial typo;
wenzelm [Thu, 25 Nov 1993 14:16:40 +0100] rev 148
corrected trivial typo;
clasohm [Thu, 25 Nov 1993 13:54:21 +0100] rev 147
fixed a bug in get_filenames, changed output of use_thy
nipkow [Thu, 25 Nov 1993 13:41:08 +0100] rev 146
asm_full_simp_tac now fails if there are no subgoals
wenzelm [Thu, 25 Nov 1993 11:49:21 +0100] rev 145
added subsection 'Classes and types';
added syntax and short explanation of translations section;
wenzelm [Thu, 25 Nov 1993 11:39:45 +0100] rev 144
added Syntax.read_typ;
Syntax.extend: added read_ty, removed def_sort argument;
wenzelm [Thu, 25 Nov 1993 11:37:51 +0100] rev 143
Sign.extend: Syntax.extend now called with read_ty;
wenzelm [Thu, 25 Nov 1993 10:44:44 +0100] rev 142
removed section 'Classes and types';
clasohm [Thu, 25 Nov 1993 10:29:40 +0100] rev 141
added index commands, removed last paragraph of "Using Poly/ML"
nipkow [Tue, 23 Nov 1993 10:47:33 +0100] rev 140
changed itmath trickery to be compatible with NFSS (itmath.sty)
nipkow [Mon, 22 Nov 1993 18:26:46 +0100] rev 139
minor changes
clasohm [Mon, 22 Nov 1993 16:03:36 +0100] rev 138
added chapter "Defining Theories" and made changes for new Readthy functions
wenzelm [Mon, 22 Nov 1993 12:08:45 +0100] rev 137
*** empty log message ***