src/HOL/Decision_Procs/DP_Library.thy
2012-09-21 wenzelm 2012-09-21 misc tuning;
2011-02-25 nipkow 2011-02-25 Some cleaning up