src/HOL/Log.thy
changeset 33963 977b94b64905
parent 33716 c7b42ad3fadf
child 36622 e393a91f86df