Subject: Nuprl2015

Keywords: ::errata

Title: MkTHY button missing from /theories/user

--------------------------------------------------
RmLink* the Obid: .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