src/HOL/Set.thy
changeset 2003 b48f066d52dc
parent 1962 e60a230da179
child 2006 72754e060aa2