isabelle: Changelog

wenzelm [Thu, 23 Nov 2006 20:33:33 +0100] rev 21495

removed obsolete alphanum;

wenzelm [Thu, 23 Nov 2006 20:33:32 +0100] rev 21494

str_of_char: improved output of non-printables;

wenzelm [Thu, 23 Nov 2006 20:33:29 +0100] rev 21493

added head_name_of;

wenzelm [Thu, 23 Nov 2006 20:33:28 +0100] rev 21492

added name/var/typ/term/thm_morphism; removed transfer;

wenzelm [Thu, 23 Nov 2006 20:33:25 +0100] rev 21491

declarations: pass morphism (dummy);

wenzelm [Thu, 23 Nov 2006 18:49:55 +0100] rev 21490

added ISABELLE_IDENTIFIER; removed THIS_IS_ISABELLE_BUILD magic;

wenzelm [Thu, 23 Nov 2006 18:49:03 +0100] rev 21489

ISABELLE_PATH/OUTPUT: append ISABELLE_IDENTIFIER if derived from ISABELLE_HOME_USER;

urbanc [Thu, 23 Nov 2006 17:52:48 +0100] rev 21488

fixed some typos

urbanc [Thu, 23 Nov 2006 14:11:49 +0100] rev 21487

tuned the proof of the strong induction principle

webertj [Thu, 23 Nov 2006 13:32:19 +0100] rev 21486

typo in comment fixed

isabelle