doc-src/IsarImplementation/Thy/integration.thy
changeset 20503 503ac4c5ef91
parent 20491 98ba42f19995
child 21168 0f869edd6cc1