src/HOL/Library/Adhoc_Overloading.thy
13 months ago wenzelm 2018-05-01 clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations); tuned headers;
2010-07-13 krauss 2010-07-13 generic ad-hoc overloading via check/uncheck