| Fri, 01 Nov 2019 18:19:32 +0100 | wenzelm | proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL; | changeset | files |
| Fri, 01 Nov 2019 18:08:46 +0100 | wenzelm | clarified signature (again); | changeset | files |
| Fri, 01 Nov 2019 17:53:27 +0100 | wenzelm | clarified signature; | changeset | files |