| Fri, 01 Nov 2019 18:43:37 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Nov 2019 18:41:52 +0100 | wenzelm | more operations; | changeset | files |
| 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 |