src/HOL/Induct/QuoDataType.thy
Wed, 07 Apr 2004 14:25:48 +0200 paulson IsaMakefile
less more (0) tip