src/HOL/Library/reify_data.ML
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data; proper merge of fst/fst and snd/snd;
2009-03-15 wenzelm 2009-03-15 simplified attribute setup;
2009-01-28 haftmann 2009-01-28 Reflection.thy now in HOL/Library