src/HOL/Nitpick_Examples/Manual_Nits.thy
Wed, 29 Sep 2021 23:45:50 +0200 wenzelm clarified antiquotations;
less more (0) -30 -10 -1 tip