src/HOL/HOLCF/Deflation.thy
changeset 45802 b16f976db515
parent 42151 4da4fc77664b
child 46868 6c250adbe101