src/HOL/UNITY/Union.thy
changeset 30549 d2d7874648bd
parent 30304 d8e4cd2ac2a1
child 32960 69916a850301