src/HOL/Library/Refute.thy
2016-07-11 wenzelm 2016-07-11 tuned;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2013-11-21 blanchet 2013-11-21 compile
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