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;