src/HOL/HOLCF/Sfun.thy
changeset 73590 1aa9ef7a3eaf
parent 67312 0d25e02759b7