isabelle: Changelog

wenzelm [Mon, 04 May 1998 21:05:38 +0200] rev 4893

added nth_update: 'a -> int * 'a list -> 'a list;

wenzelm [Mon, 04 May 1998 21:05:14 +0200] rev 4892

tuned msg;

wenzelm [Mon, 04 May 1998 13:48:47 +0200] rev 4891

fixed constdefs syntax;

wenzelm [Mon, 04 May 1998 09:54:29 +0200] rev 4890

concrete syntax for record terms; defs for update; field types (just abbreviations at the moment); some thms; various of minor improvements;

nipkow [Mon, 04 May 1998 09:17:18 +0200] rev 4889

New behaviour of asm_full_simp_tac.

wenzelm [Sat, 02 May 1998 16:46:17 +0200] rev 4888

added CLASIMPSET(') tacticals;

wenzelm [Sat, 02 May 1998 13:27:42 +0200] rev 4887

added trfun_names;

wenzelm [Sat, 02 May 1998 13:27:06 +0200] rev 4886

added accesses: string -> string list;

oheimb [Fri, 01 May 1998 22:40:20 +0200] rev 4885

minor corrections

oheimb [Fri, 01 May 1998 22:30:42 +0200] rev 4884

Auto_tac: now uses enhanced version of asm_full_simp_tac, Force_tac: replaced fast_tac by best_tac

isabelle