src/HOL/HOLCF/Sfun.thy
changeset 45802 b16f976db515
parent 42151 4da4fc77664b
child 49759 ecf1d5d87e5e
equal deleted inserted replaced
45801:5616fbda86e6 45802:b16f976db515