Saving (partially) saturated set

The command out dumps the current theory in its current saturation state onto a specified file. Under that name the theory may be included as a module into other theories. In that case, any subsequent saturation for the enriched thepry will not compute any inferences between theory module clauses. That is incomplete in case the module was not fully saturated at the tome when it was dumped.

Imprint | Data Protection