src/HOL/BNF_Cardinal_Order_Relation.thy
changeset 67945 984c3dc46cc0
parent 67613 ce654b0e6d69
child 69276 3d954183b707
equal deleted inserted replaced
67944:cb2b1a75ff59 67945:984c3dc46cc0