isabelle: Changelog

wenzelm [Wed, 13 May 1998 12:19:01 +0200] rev 4918

gen_attr: fixed order of evaluation;

wenzelm [Wed, 13 May 1998 12:17:49 +0200] rev 4917

tuned msg;

wenzelm [Wed, 13 May 1998 12:17:30 +0200] rev 4916

get_first: ('a -> 'b option) -> 'a list -> 'b option;

wenzelm [Wed, 13 May 1998 10:21:28 +0200] rev 4915

HOL/record: now includes concrete syntax for record terms;

wenzelm [Tue, 12 May 1998 18:07:03 +0200] rev 4914

added Goal, Goalw;

wenzelm [Tue, 12 May 1998 18:06:27 +0200] rev 4913

branching_level = 250;

wenzelm [Tue, 12 May 1998 18:06:01 +0200] rev 4912

fixed comment;

nipkow [Tue, 12 May 1998 08:36:07 +0200] rev 4911

Removed duplicate list_length_induct

nipkow [Mon, 11 May 1998 14:40:40 +0200] rev 4910

Reordered a few parameters.

nipkow [Mon, 11 May 1998 13:18:25 +0200] rev 4909

Lex

isabelle