src/HOL/Data_Structures/Set2_Join.thy
changeset 82969 dedd9d13c79c
parent 80398 4953d52e04d2