src/HOL/Library/Function_Algebras.thy
2010-08-23 ago dropped type classes mult_mono and mult_mono1; tuned names of technical rule duplicates
2010-08-20 ago split and enriched theory SetsAndFunctions