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