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: Dec 07 2023 at 08:19 UTC