| Sat, 17 Aug 2019 11:13:16 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 17 Aug 2019 11:02:09 +0200 | wenzelm | clarified lookup operations: more scalable for multiple retrieval; | changeset | files |
| Sat, 17 Aug 2019 10:38:02 +0200 | wenzelm | clarified signature; | changeset | files |
| 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 |
| Fri, 16 Aug 2019 14:01:51 +0200 | wenzelm | clarified signature; | changeset | files |