src/HOL/Tools/transfer.ML
2010-07-08 haftmann 2010-07-08 tuned titles
2010-03-18 haftmann 2010-03-18 meaningful transfer certificate
2010-03-11 haftmann 2010-03-11 made smlnj happy
2010-03-09 haftmann 2010-03-09 clarified transfer code proper; more natural declaration of return rules
2010-03-09 haftmann 2010-03-09 data administration using canonical functorial operations
2010-03-09 haftmann 2010-03-09 tuned data structures; using AList.map_default
2010-03-09 haftmann 2010-03-09 consistent field names; tuned interface
2010-03-08 haftmann 2010-03-08 proper ML interface; further polishing
2010-03-08 haftmann 2010-03-08 code simplification and tuning
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case, more standard coding conventions, misc tuning
2010-03-07 haftmann 2010-03-07 dropped dead code; adhere more closely to standard coding conventions
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-10-29 haftmann 2009-10-29 join entries properly on theory merge
2009-10-21 haftmann 2009-10-21 curried union as canonical list operation
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-10-01 wenzelm 2009-10-01 handle Pattern.MATCH, not arbitrary exceptions; misc tuning, trying to reduce line length a bit;
2009-09-10 haftmann 2009-09-10 plain structure name; signature constraint; shorter lines