src/HOL/Tools/ATP/atp_satallax.ML
changeset 68743 91162dd89571
parent 67022 49309fe530fd
child 69593 3dda49e08b9d