Sun, 14 Aug 2022 12:18:06 +0200 wenzelm clarified theory_names with exported content;
Sun, 14 Aug 2022 12:01:47 +0200 wenzelm proper export theory_names: theory/parents are not necessarily present (amending 4d27b520622a);
Sun, 14 Aug 2022 11:39:28 +0200 wenzelm proper treatment of empty lines (amending 08f89f0e8a62);
Sun, 14 Aug 2022 11:20:10 +0200 wenzelm clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);
Sun, 14 Aug 2022 11:11:11 +0100 paulson merged
Sat, 13 Aug 2022 20:08:24 +0100 paulson The right way to formulate card_UNION, plus the old version for compatibility
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip