src/HOL/Tools/datatype_prop.ML
Fri, 24 Jul 1998 12:50:06 +0200 berghofe New datatype definition package
less more (0) tip