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;
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