Attic/old/Myhill_2.thy
changeset 319 995515b6f979
parent 170 b1258b7d2789