src/HOL/Nominal/Examples/Pattern.thy
Mon, 23 Sep 2024 22:33:37 +0200 wenzelm proper 'no_syntax' (amending 8e72f55295fd);
less more (0) -10 -1 tip