src/Doc/Implementation/Logic.thy
Sun, 05 Dec 2021 12:50:36 +0100 wenzelm clarified corner cases of syntax;
less more (0) -30 -10 -1 tip