src/HOL/Tools/transfer.ML
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Thu, 08 Jul 2010 16:19:24 +0200 haftmann tuned titles
Thu, 18 Mar 2010 13:56:33 +0100 haftmann meaningful transfer certificate
Thu, 11 Mar 2010 09:09:43 +0100 haftmann made smlnj happy
Tue, 09 Mar 2010 21:19:49 +0100 haftmann clarified transfer code proper; more natural declaration of return rules
Tue, 09 Mar 2010 18:31:37 +0100 haftmann data administration using canonical functorial operations
Tue, 09 Mar 2010 16:15:19 +0100 haftmann tuned data structures; using AList.map_default
Tue, 09 Mar 2010 15:47:16 +0100 haftmann consistent field names; tuned interface
Mon, 08 Mar 2010 14:41:56 +0100 haftmann proper ML interface; further polishing
Mon, 08 Mar 2010 13:22:41 +0100 haftmann code simplification and tuning
Mon, 08 Mar 2010 09:38:59 +0100 haftmann transfer: avoid camel case, more standard coding conventions, misc tuning
Sun, 07 Mar 2010 08:46:12 +0100 haftmann dropped dead code; adhere more closely to standard coding conventions
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Thu, 29 Oct 2009 11:41:39 +0100 haftmann join entries properly on theory merge
Wed, 21 Oct 2009 12:02:56 +0200 haftmann curried union as canonical list operation
Wed, 21 Oct 2009 08:14:38 +0200 haftmann dropped redundant gen_ prefix
Tue, 20 Oct 2009 16:13:01 +0200 haftmann replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
Thu, 01 Oct 2009 16:09:47 +0200 wenzelm handle Pattern.MATCH, not arbitrary exceptions;
Thu, 10 Sep 2009 15:23:09 +0200 haftmann plain structure name; signature constraint; shorter lines
less more (0) tip