Summary
- generalized experimental feature slightly
The file was modified | src/HOL/TPTP/atp_problem_import.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_problem_generate.ML (diff) |
The file was modified | src/HOL/TPTP/atp_problem_import.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_problem_generate.ML (diff) |