src/HOL/Tools/sat.ML
Fri, 07 Mar 2014 22:30:58 +0100 wenzelm more antiquotations;
Sat, 01 Feb 2014 21:43:23 +0100 wenzelm proper config options;
Sat, 01 Feb 2014 21:09:53 +0100 wenzelm more standard file/module names;
less more (0) tip