Mon, 20 Sep 2021 23:15:02 +0200 localized command 'syntax' and 'no_syntax';
wenzelm [Mon, 20 Sep 2021 23:15:02 +0200] rev 74687
localized command 'syntax' and 'no_syntax';
Mon, 20 Sep 2021 21:56:10 +0200 tuned;
wenzelm [Mon, 20 Sep 2021 21:56:10 +0200] rev 74686
tuned;
Mon, 20 Sep 2021 20:43:38 +0200 clarified signature;
wenzelm [Mon, 20 Sep 2021 20:43:38 +0200] rev 74685
clarified signature;
Mon, 20 Sep 2021 20:22:32 +0200 clarified signature;
wenzelm [Mon, 20 Sep 2021 20:22:32 +0200] rev 74684
clarified signature;
Tue, 21 Sep 2021 14:54:53 +0200 merged; closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Tue, 21 Sep 2021 14:54:53 +0200] rev 74683
merged;
Mon, 20 Sep 2021 20:24:43 +0200 merged
desharna [Mon, 20 Sep 2021 20:24:43 +0200] rev 74682
merged
Mon, 20 Sep 2021 15:27:00 +0200 more operations from Isabelle/ML;
wenzelm [Mon, 20 Sep 2021 15:27:00 +0200] rev 74681
more operations from Isabelle/ML;
Mon, 20 Sep 2021 15:11:13 +0200 merged
wenzelm [Mon, 20 Sep 2021 15:11:13 +0200] rev 74680
merged
Mon, 20 Sep 2021 13:52:09 +0200 tuned proofs --- eliminated 'guess';
wenzelm [Mon, 20 Sep 2021 13:52:09 +0200] rev 74679
tuned proofs --- eliminated 'guess';
Mon, 20 Sep 2021 13:51:32 +0200 tuned proofs;
wenzelm [Mon, 20 Sep 2021 13:51:32 +0200] rev 74678
tuned proofs; tuned whitespace;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip