isabelle: Changelog

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

Morphism.thm_morphism;

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

renamed Name value to Text, which is *not* a name in terms of morphisms;

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;

isabelle