Thu, 23 Nov 2006 20:33:37 +0100 | wenzelm | uniform interface for type_syntax/term_syntax/declaration, dependent on morphism; | changeset | files |
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 |