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