src/HOL/Library/adhoc_overloading.ML
2010-07-13 krauss 2010-07-13 generic ad-hoc overloading via check/uncheck