-
Loïc Correnson authored
Change order of operations (ordered by Kf to add lemmas) Smaller compiled context (compounds only used in Kf)
70f07158
Change order of operations (ordered by Kf to add lemmas) Smaller compiled context (compounds only used in Kf)