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 |