Subject: FormalContent

Keywords: ::proof
          ::Refiner
          ::ReferenceEnvironment

Title: Separate Refinement

--------------------------------------------------

Refinement is independent of containing proof  ⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home