src/HOL/Set.thy
changeset 4537 4e835bd9fada
parent 4159 4aff9b7e5597
child 4761 1681b32dd134