src/HOL/ATP_Linkup.thy
changeset 26462 dac4e2bce00d
parent 25741 2d102ddaca8b
child 26729 43a72d892594