src/HOL/Nitpick_Examples/Manual_Nits.thy
Sat, 30 Oct 2021 19:41:09 +0200 wenzelm prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms;
Wed, 29 Sep 2021 23:45:50 +0200 wenzelm clarified antiquotations;
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
less more (0) -30 -10 -3 tip