avoid global tmp file: pointless due to implicit theory export;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFPd8cd1583a4f6: repaired syntax
- Branches
- Unknown
- Tags
avoid global tmp file: pointless due to implicit theory export; Tags None Subscribers None |