src/HOL/Library/reify_data.ML
2009-01-28 haftmann 2009-01-28 Reflection.thy now in HOL/Library