src/HOL/Library/Refute.thy
Fri, 14 Dec 2012 16:33:22 +0100 wenzelm updated some headers;
Wed, 31 Oct 2012 11:23:21 +0100 blanchet moved Refute to "HOL/Library" to speed up building "Main" even more
less more (0) tip