src/HOL/Nitpick_Examples/Pattern_Nits.thy
Sat, 30 Oct 2021 19:41:09 +0200 wenzelm prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms;
less more (0) -10 -1 tip