src/HOL/Tools/TFL/thms.ML
changeset 30190 479806475f3c
parent 23150 073a65f0bc40
child 39159 0dec18004e75
equal deleted inserted replaced
30189:3633f560f4c3 30190:479806475f3c