isabelle: Changelog

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.

wenzelm [Sat, 11 Mar 2006 21:23:10 +0100] rev 19250

got rid of type Sign.sg;

wenzelm [Sat, 11 Mar 2006 17:30:35 +0100] rev 19249

renamed plus to add;

wenzelm [Sat, 11 Mar 2006 17:24:37 +0100] rev 19248

renamed const minus to subtract;

isabelle