merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEef9f95d055f6: tuned generation of TPTP with $ite/$let in higher-order logics
rISABELLE2e3b649111f1: merged - Branches
- Unknown
- Tags
Merged Changes
Merged Changes