src/HOL/Tools/transfer.ML
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