| Fri, 16 Aug 2019 21:50:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 16 Aug 2019 21:38:42 +0200 | wenzelm | maintain thm_name vs. derivation_id for global facts; | changeset | files |
| Fri, 16 Aug 2019 21:02:18 +0200 | wenzelm | clarified identity of PThm nodes: do not reuse old id after renaming -- enforce uniqueness of substructures; | changeset | files |