| Thu, 23 Nov 2006 20:33:36 +0100 | wenzelm | Morphism.thm_morphism; | changeset | files |
| Thu, 23 Nov 2006 20:33:34 +0100 | wenzelm | renamed Name value to Text, which is *not* a name in terms of morphisms; | changeset | files |
| Thu, 23 Nov 2006 20:33:33 +0100 | wenzelm | removed obsolete alphanum; | changeset | files |
| Thu, 23 Nov 2006 20:33:32 +0100 | wenzelm | str_of_char: improved output of non-printables; | changeset | files |
| Thu, 23 Nov 2006 20:33:29 +0100 | wenzelm | added head_name_of; | changeset | files |
| Thu, 23 Nov 2006 20:33:28 +0100 | wenzelm | added name/var/typ/term/thm_morphism; | changeset | files |
| Thu, 23 Nov 2006 20:33:25 +0100 | wenzelm | declarations: pass morphism (dummy); | changeset | files |
| Thu, 23 Nov 2006 18:49:55 +0100 | wenzelm | added ISABELLE_IDENTIFIER; | changeset | files |