isabelle: Changelog

huffman [Tue, 08 Jul 2008 22:07:39 +0200] rev 27504

fix another typo

huffman [Tue, 08 Jul 2008 22:02:15 +0200] rev 27503

fix typo

wenzelm [Tue, 08 Jul 2008 21:55:41 +0200] rev 27502

updated generated file;

wenzelm [Tue, 08 Jul 2008 21:15:23 +0200] rev 27501

global commands: explicit graph; tuned;

wenzelm [Tue, 08 Jul 2008 20:42:00 +0200] rev 27500

export str_of;

haftmann [Tue, 08 Jul 2008 18:13:12 +0200] rev 27499

clarified code

haftmann [Tue, 08 Jul 2008 18:13:11 +0200] rev 27498

exported weaken combinator

haftmann [Tue, 08 Jul 2008 18:13:10 +0200] rev 27497

refined arity property concept

haftmann [Tue, 08 Jul 2008 18:13:09 +0200] rev 27496

fix: using IntInf.int for SML

wenzelm [Tue, 08 Jul 2008 17:52:28 +0200] rev 27495

moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy; non-pervasive touch_thy, remove_thy;

isabelle