Theories/Myhill_1.thy
changeset 161 a8a442ba0dbf
parent 149 e122cb146ecc