Tue, 20 Aug 2019 18:39:33 +0200 | wenzelm | clarified thm_id vs. thm_node/thm: retain theory_name; | changeset | files |
Tue, 20 Aug 2019 18:01:57 +0200 | wenzelm | clarified signature; | changeset | files |
Tue, 20 Aug 2019 15:24:07 +0200 | wenzelm | tuned; | changeset | files |