src/HOL/Induct/QuoNestedDataType.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 02 Sep 2004 16:52:21 +0200 paulson new example of a quotiented nested data type
less more (0) tip