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