Gergely Buday (Aug 12 2020 at 11:41): 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: Apr 20 2024 at 04:19 UTC