src/HOL/UNITY/Union.thy
1998-08-05 paulson 1998-08-05 Union primitives and examples