Lfp.thy
changeset 157 45d0cf6e309d
parent 116 ab4328bbff70
child 178 12dd5d2e266b