src/HOL/ex/SAT_Examples.thy
Fri, 06 Jul 2007 17:21:18 +0200 webertj cosmetic (line length fixed)
Wed, 10 Jan 2007 19:18:29 +0100 webertj minor comment change
Wed, 29 Nov 2006 15:44:51 +0100 wenzelm simplified method setup;
less more (0) -10 -3 tip