Wed, 11 Dec 2024 10:28:12 +0100 clarified default_sort;
wenzelm [Wed, 11 Dec 2024 10:28:12 +0100] rev 81576
clarified default_sort;
Tue, 10 Dec 2024 22:59:13 +0100 fewer theories;
wenzelm [Tue, 10 Dec 2024 22:59:13 +0100] rev 81575
fewer theories;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 tip