src/Doc/Implementation/Logic.thy
Thu, 28 Oct 2021 13:13:48 +0200 wenzelm local fixes for "lemma" antiquotation;
Fri, 10 Sep 2021 14:59:19 +0200 wenzelm clarified signature: more scalable operations;
less more (0) -30 -10 -2 tip