src/Doc/Implementation/Logic.thy
Sun, 05 Dec 2021 12:50:36 +0100 wenzelm clarified corner cases of syntax;
Fri, 03 Dec 2021 20:11:21 +0100 wenzelm more documentation about Type/Const antiquotations;
Thu, 28 Oct 2021 13:13:48 +0200 wenzelm local fixes for "lemma" antiquotation;
less more (0) -30 -10 -3 tip