src/HOL/subset.thy
changeset 2545 d10abc8c11fb
parent 1475 7f5a4cd08209
child 5853 36b5559d8224