wenzelm [Thu, 02 Jun 2005 18:29:53 +0200] rev 16193
tuned comment;
wenzelm [Thu, 02 Jun 2005 18:29:52 +0200] rev 16192
exists: made non-strict;
added forall;
wenzelm [Thu, 02 Jun 2005 18:29:51 +0200] rev 16191
added no_warnings;
tuned;
wenzelm [Thu, 02 Jun 2005 18:29:50 +0200] rev 16190
Sign.restore_naming;
err_in_defn: do not apply Sign.full_name again;
tuned;
wenzelm [Thu, 02 Jun 2005 18:29:49 +0200] rev 16189
replaced set_naming by restore_naming;
wenzelm [Thu, 02 Jun 2005 18:29:48 +0200] rev 16188
replaced foldl_string by fold_string;
added forall_string;
improved unsuffix/unprefix: no explode;
wenzelm [Thu, 02 Jun 2005 18:29:47 +0200] rev 16187
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
wenzelm [Thu, 02 Jun 2005 18:29:46 +0200] rev 16186
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
tuned;