clarified signature: more explicit types;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf27d7b12e8a4: support for SystemOnTPTP.run_system, with strict error following…
- Branches
- Unknown
- Tags
clarified signature: more explicit types; Tags None Subscribers None
Description
Details
|