doc-src/IsarRef/Thy/HOL_Specific.thy
changeset 28555 d59712ee942c
parent 27706 10a6ede68bc8
child 28562 4e74209f113e