Thu, 06 Apr 2000 13:39:49 +0200 | wenzelm | 'welcome' made diagnostic; | changeset | files |
Wed, 05 Apr 2000 21:08:24 +0200 | wenzelm | added Isar_examples/NestedDatatype.thy; | changeset | files |
Wed, 05 Apr 2000 21:07:09 +0200 | wenzelm | added NestedDatatype.thy; | changeset | files |