Thu, 03 Nov 2022 12:54:57 +0100 wenzelm tuned;
Thu, 03 Nov 2022 12:52:06 +0100 wenzelm prefer abstract command kind (in contrast to 367f4512e65c);
Thu, 03 Nov 2022 12:50:53 +0100 wenzelm tuned;
Wed, 02 Nov 2022 16:13:29 +0100 wenzelm tuned: avoid warning in IntelliJ IDEA;
Wed, 02 Nov 2022 11:34:24 +0100 wenzelm more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
Wed, 02 Nov 2022 11:01:22 +0100 wenzelm tuned signature;
Wed, 02 Nov 2022 10:24:44 +0100 wenzelm clarified signature: do not require finished theory;
Wed, 02 Nov 2022 09:47:27 +0100 wenzelm clarified modules;
Wed, 02 Nov 2022 18:58:38 +0100 desharna merged
Fri, 28 Oct 2022 15:39:35 +0200 desharna added lemmas multp_mono_strong and mult_mono_strong
Mon, 31 Oct 2022 21:58:08 +0100 wenzelm merged
Mon, 31 Oct 2022 21:44:34 +0100 wenzelm support for FoilTeX with demo document;
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 tip