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: Mar 19 2026 at 08:48 UTC