| 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 |