| Thu, 23 Nov 2006 20:33:42 +0100 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 23 Nov 2006 20:33:41 +0100 |
wenzelm |
renamed Args.Name to Args.Text;
|
changeset |
files
|
| Thu, 23 Nov 2006 20:33:39 +0100 |
wenzelm |
uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
|
changeset |
files
|
| 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
|
| 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
|
| Thu, 23 Nov 2006 18:49:03 +0100 |
wenzelm |
ISABELLE_PATH/OUTPUT: append ISABELLE_IDENTIFIER if derived from ISABELLE_HOME_USER;
|
changeset |
files
|
| Thu, 23 Nov 2006 17:52:48 +0100 |
urbanc |
fixed some typos
|
changeset |
files
|
| Thu, 23 Nov 2006 14:11:49 +0100 |
urbanc |
tuned the proof of the strong induction principle
|
changeset |
files
|
| Thu, 23 Nov 2006 13:32:19 +0100 |
webertj |
typo in comment fixed
|
changeset |
files
|