doc-src/IsarRef/Thy/Generic.thy
changeset 42669 04dfffda5671
parent 42655 eb95e2f3b218
child 42704 3f19e324ff59