src/HOL/Isar_Examples/Knaster_Tarski.thy
changeset 62337 d3996d5873dd
parent 61932 2e48182cc82c
child 63583 a39baba12732