isabelle: Changelog

wenzelm [Tue, 14 Mar 2006 16:29:37 +0100] rev 19260

added 'no_translations';

wenzelm [Tue, 14 Mar 2006 16:29:36 +0100] rev 19259

added pretty_stmt; tuned;

wenzelm [Tue, 14 Mar 2006 16:29:35 +0100] rev 19258

declared_const: check for type constraint only, i.e. admit abbreviations as well; added del_trrules(_i);

wenzelm [Tue, 14 Mar 2006 16:29:34 +0100] rev 19257

ObjectLogic.is_elim;

wenzelm [Tue, 14 Mar 2006 16:29:32 +0100] rev 19256

tuned constdecl; added 'no_translations';

wenzelm [Tue, 14 Mar 2006 16:29:31 +0100] rev 19255

updated;

wenzelm [Tue, 14 Mar 2006 16:29:29 +0100] rev 19254

Pure: no_translations;

haftmann [Tue, 14 Mar 2006 14:25:09 +0100] rev 19253

refined representation of instance dictionaries

schirmer [Mon, 13 Mar 2006 10:41:04 +0100] rev 19252

entry for Library/AssocList

berghofe [Mon, 13 Mar 2006 00:09:23 +0100] rev 19251

First version of function for defining graph of iteration combinator.

isabelle