Stream: General

Topic: The context record

Gergely Buday (Aug 12 2020 at 11:41):

Page 49 of Wenzel's thesis says that the context record contains

theory
fixes
assms
terms
cases
facts
data

Where is this formed in the codebase?

Last updated: Sep 13 2025 at 12:36 UTC