more liberal parsing of Sledgehammer options to allow empty lists (as suggested by Larry Paulson)
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE41fd2e8f6b16: more robust TSTP proof parsing
- Branches
- Unknown
- Tags