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;