doc-src/IsarImplementation/Thy/prelim.thy
changeset 20183 fd546b0c8a7c
parent 18554 bff7a1466fe4
child 20205 7b2958d3d575