src/HOL/HOLCF/Universal.thy
changeset 47884 21c42b095c84
parent 46868 6c250adbe101
child 49834 b27bbb021df1