src/HOL/Tools/datatype_rep_proofs.ML
Thu, 24 Sep 1998 17:17:14 +0200 oheimb renamed mk_meta_eq to mk_eq
Wed, 12 Aug 1998 16:20:49 +0200 oheimb renamed mk_meta_eq to meta_eq
Thu, 30 Jul 1998 15:54:03 +0200 berghofe Deleted obsolete comments.
Fri, 24 Jul 1998 12:50:06 +0200 berghofe New datatype definition package
less more (0) tip