src/HOL/HOLCF/Sfun.thy
changeset 45802 b16f976db515
parent 42151 4da4fc77664b
child 49759 ecf1d5d87e5e