src/HOL/Tools/type_lifting.ML
Sat, 08 Jan 2011 17:14:48 +0100 wenzelm misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
Thu, 23 Dec 2010 09:20:43 +0100 haftmann tuned comments and line breaks
Wed, 22 Dec 2010 22:20:57 +0100 haftmann full localization with possibly multiple entries;
Wed, 22 Dec 2010 21:14:57 +0100 haftmann tool-compliant mapper declaration
Wed, 22 Dec 2010 20:57:13 +0100 haftmann more proof contexts; formal declaration
Wed, 22 Dec 2010 20:44:36 +0100 haftmann mapper is arbitrary term, not only constant;
Tue, 21 Dec 2010 17:52:23 +0100 haftmann id_const replaces mk_id
Tue, 21 Dec 2010 16:14:46 +0100 haftmann prove more algebraic version of functorial properties; retain old properties for convenience
Fri, 17 Dec 2010 22:00:54 +0100 haftmann more convenient order of type variables
Mon, 06 Dec 2010 09:19:10 +0100 haftmann replace `type_mapper` by the more adequate `type_lifting`
less more (0) tip