Subject: FormalContentKeywords: ::ReferenceEnvironmentTitle: Reference Environment--------------------------------------------------Provides data needed to construct a context for refinement.--- NEED a lot more INFO here ---- Commonly abbreivated as refenv or RE.See Separate Refinement⋅--------------------------------------------------Authors: Contributors: NUPRL:t RICH:t⋅