src/HOL/Decision_Procs/DP_Library.thy
2014-02-28 wenzelm 2014-02-28 tuned whitespace; more symbols;
2012-09-21 wenzelm 2012-09-21 misc tuning;
2011-02-25 nipkow 2011-02-25 Some cleaning up