doc-src/System/Thy/Basics.thy
changeset 39024 30d5dd2f30b6
parent 38253 3d4e521014f7
child 40387 e4c9e0dad473
equal deleted inserted replaced
39023:3f70c03e8282 39024:30d5dd2f30b6