isabelle: Changelog

wenzelm [Wed, 26 Apr 2006 22:38:05 +0200] rev 19473

tuned;

wenzelm [Wed, 26 Apr 2006 20:34:11 +0200] rev 19472

removed obsolete expand_case_tac;

haftmann [Wed, 26 Apr 2006 14:19:13 +0200] rev 19471

fixed silly symlink bug

kleing [Wed, 26 Apr 2006 07:02:04 +0200] rev 19470

added Ben Porter's stuff

kleing [Wed, 26 Apr 2006 07:01:33 +0200] rev 19469

moved arithmetic series to geometric series in SetInterval

wenzelm [Tue, 25 Apr 2006 22:23:58 +0200] rev 19468

Sign.arity_sorts; tuned;

wenzelm [Tue, 25 Apr 2006 22:23:50 +0200] rev 19467

unlocalize_mixfix: fallback on NoSyn;

wenzelm [Tue, 25 Apr 2006 22:23:41 +0200] rev 19466

tuned;

wenzelm [Tue, 25 Apr 2006 22:23:30 +0200] rev 19465

refer to structure Type instead of Sorts;

wenzelm [Tue, 25 Apr 2006 22:23:24 +0200] rev 19464

added inter_sort; added arity_number/sorts;

isabelle