src/HOL/HOL.thy
changeset 62379 340738057c8c
parent 62151 dc4c9748a86e
child 62390 842917225d56