src/Doc/Implementation/Logic.thy
Thu, 09 Sep 2021 12:33:14 +0200 wenzelm clarified signature;
less more (0) -30 -10 -1 tip