isabelle: Changelog

wenzelm [Tue, 07 Feb 2006 19:56:48 +0100] rev 18966

removed eq-polymorphic duplicates; renamed gen_duplicates to duplicates; added is_equal;

wenzelm [Tue, 07 Feb 2006 19:56:47 +0100] rev 18965

renamed space to space_of; removed expansion; added abbrevs_of; added read_const; certify: substitute arguments into expanded const; tuned;

wenzelm [Tue, 07 Feb 2006 19:56:45 +0100] rev 18964

renamed gen_duplicates to duplicates;

haftmann [Tue, 07 Feb 2006 08:47:43 +0100] rev 18963

slight improvements in code generation

wenzelm [Mon, 06 Feb 2006 21:02:01 +0100] rev 18962

updated;

wenzelm [Mon, 06 Feb 2006 21:00:01 +0100] rev 18961

Logic.combound;

wenzelm [Mon, 06 Feb 2006 21:00:00 +0100] rev 18960

adapted Consts.dest;

wenzelm [Mon, 06 Feb 2006 20:59:59 +0100] rev 18959

Sign.cert_def; tuned;

wenzelm [Mon, 06 Feb 2006 20:59:58 +0100] rev 18958

added bound_vars;

wenzelm [Mon, 06 Feb 2006 20:59:57 +0100] rev 18957

TableFun: renamed xxx_multi to xxx_list; tuned;

isabelle