HomePhabricator

proper export of unnamed proof boxes for unnamed toplevel declarations, e.g.

Authored by makarius.

Description

proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL;

Details

Committed
makariusNov 1 2019, 6:19 PM
Parents
rISABELLE5e98925f86ed: clarified signature (again);
Branches
Unknown
Tags
Unknown