Thu, 28 Oct 2021 20:04:06 +0200 wenzelm clarified antiquotations;
Thu, 28 Oct 2021 20:01:59 +0200 wenzelm clarified antiquotations;
Thu, 28 Oct 2021 18:37:33 +0200 wenzelm support for "lemma";
Thu, 28 Oct 2021 13:20:45 +0200 wenzelm tuned;
Thu, 28 Oct 2021 13:13:48 +0200 wenzelm local fixes for "lemma" antiquotation;
Thu, 28 Oct 2021 12:25:47 +0200 wenzelm clarified signature;
Thu, 28 Oct 2021 12:14:53 +0200 wenzelm tuned;
Thu, 28 Oct 2021 12:09:58 +0200 wenzelm clarified keywords: major take precedence for commands, but not used for antiquotations;
Thu, 28 Oct 2021 11:37:49 +0200 wenzelm tuned modules;
Wed, 27 Oct 2021 20:07:13 +0200 wenzelm more antiquotations;
Wed, 27 Oct 2021 11:47:42 +0100 paulson moved a theorem to a sensible place
Tue, 26 Oct 2021 22:58:20 +0200 wenzelm merged
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 tip