paulson [Fri, 18 Aug 1995 16:09:41 +0200] rev 1233
minor corrections to indexing; added thms_containing
in header
nipkow [Fri, 18 Aug 1995 15:54:22 +0200] rev 1232
changed "o" to (infixl 55)
paulson [Fri, 18 Aug 1995 15:20:02 +0200] rev 1231
clarified comment
nipkow [Fri, 18 Aug 1995 12:28:02 +0200] rev 1230
fixed bug in findI
removed duplicates in findEs
nipkow [Thu, 17 Aug 1995 15:07:09 +0200] rev 1229
deactivated fix_shyps.
paulson [Mon, 14 Aug 1995 13:42:27 +0200] rev 1228
updated version number to revision 4
paulson [Fri, 11 Aug 1995 12:36:15 +0200] rev 1227
Mateja Jamnik's theory to html converter
paulson [Thu, 10 Aug 1995 13:16:31 +0200] rev 1226
Handle renaming of CHOL.tex to HOL.tex
paulson [Thu, 10 Aug 1995 13:15:15 +0200] rev 1225
minor polishing of text on findI, etc.
paulson [Thu, 10 Aug 1995 13:14:34 +0200] rev 1224
Trivial reformatting of reference
nipkow [Tue, 08 Aug 1995 09:27:02 +0200] rev 1223
corrected bind_thm: now applies "standard" uniformly.
nipkow [Mon, 07 Aug 1995 16:37:47 +0200] rev 1222
Documented findI, findE, findEs, thms_containing.
nipkow [Mon, 07 Aug 1995 15:23:59 +0200] rev 1221
Added findI, findEs, and findE.
wenzelm [Tue, 01 Aug 1995 17:21:57 +0200] rev 1220
MAJOR changes:
added shyps component to type thm;
added rules strip_shyps, implies_intr_shyps;
fixed rules to handle shyps properly;
wenzelm [Tue, 01 Aug 1995 17:21:05 +0200] rev 1219
modified prepare_proof to handle shyps;
wenzelm [Tue, 01 Aug 1995 17:20:42 +0200] rev 1218
modified pretty_thm, standard, eq_thm to handle shyps;
wenzelm [Tue, 01 Aug 1995 17:20:21 +0200] rev 1217
modified prep_thm_axm to handle shyps;
fixed class_axms: class_trivs *first*;
improved axclass_tac: now also handles object rules as witnesses;
wenzelm [Tue, 01 Aug 1995 17:19:17 +0200] rev 1216
added (my own version of) nonempty_sort: sg -> (string * sort) list -> sort
-> bool;
wenzelm [Tue, 01 Aug 1995 17:17:49 +0200] rev 1215
added nonempty_sort (a somewhat braindead version!);
nipkow [Tue, 01 Aug 1995 12:36:05 +0200] rev 1214
Added nonempty_sort.
nipkow [Fri, 28 Jul 1995 19:17:03 +0200] rev 1213
added section on "Reordering assumptions".
nipkow [Fri, 28 Jul 1995 18:05:50 +0200] rev 1212
added rotate_tac
paulson [Fri, 28 Jul 1995 18:05:25 +0200] rev 1211
changed AC_... to OrdQuant_...
paulson [Fri, 28 Jul 1995 17:41:31 +0200] rev 1210
Version of the proof macros for LaTeX 2.09
nipkow [Fri, 28 Jul 1995 17:24:53 +0200] rev 1209
added rotate_tac.
paulson [Fri, 28 Jul 1995 17:21:44 +0200] rev 1208
Ran expandshort and corrected spelling of Grabczewski
lcp [Fri, 28 Jul 1995 12:01:12 +0200] rev 1207
Ran expandshort and changed spelling of Grabczewski
lcp [Fri, 28 Jul 1995 11:48:55 +0200] rev 1206
Ran expandshort and changed spelling of Grabczewski