src/HOL/Decision_Procs/DP_Library.thy
2011-02-25 nipkow 2011-02-25 Some cleaning up