Stream: General

Topic: The context record


view this post on Zulip 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: Aug 15 2022 at 04:16 UTC