Subject: Nuprl2015

Keywords: ::errata

Title: MkTHY button missing from /theories/user

--------------------------------------------------
RmLink* the .property theory ephemeral link.
Then left-arrow to leave dir and right-arrow to re-enter
and MkThy button should appear.  ⋅
--------------------------------------------------

Authors: 

Contributors: NUPRL:t

⋅

Home