src/HOL/SupInf.thy
changeset 46474 7e6be8270ddb
parent 45966 03ce2b2a29a2
child 46757 ad878aff9c15
equal deleted inserted replaced
46473:a687b75f9fa8 46474:7e6be8270ddb