nipkow [Wed, 05 Nov 1997 09:08:35 +0100] rev 4137
Added an alternativ version of AutoChopper and a theory for the conversion of
automata into regular sets.
oheimb [Tue, 04 Nov 1997 20:52:20 +0100] rev 4136
removed redundant ball_image
added image_cong and not_empty
added ball and bex of UNIV
oheimb [Tue, 04 Nov 1997 20:50:35 +0100] rev 4135
removed redundant ball_empty and bex_empty (see equalities.ML)
oheimb [Tue, 04 Nov 1997 20:49:45 +0100] rev 4134
added several theorems
oheimb [Tue, 04 Nov 1997 20:48:38 +0100] rev 4133
added the, option_map, and case analysis theorems
oheimb [Tue, 04 Nov 1997 20:47:38 +0100] rev 4132
added zip and nodup
oheimb [Tue, 04 Nov 1997 20:46:56 +0100] rev 4131
added theorems for Eps
wenzelm [Tue, 04 Nov 1997 17:16:26 +0100] rev 4130
tuned usage;
wenzelm [Tue, 04 Nov 1997 17:12:13 +0100] rev 4129
HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;
wenzelm [Tue, 04 Nov 1997 16:57:52 +0100] rev 4128
tuned to make non-Poly/MLs happy;