src/HOL/Library/refute.ML
2012-12-14 wenzelm 2012-12-14 updated some headers;
2012-10-31 blanchet 2012-10-31 moved Refute to "HOL/Library" to speed up building "Main" even more