src/HOL/Tools/TFL/thms.ML
changeset 37744 3daaf23b9ab4
parent 23150 073a65f0bc40
child 39159 0dec18004e75