Moved definitions (binary intersection, etc.) from upair.thy back to ZF.thy
(* Title: ZF/upair.thy ID: $Id$ Author: Lawrence C Paulson and Martin D Coen, CU Computer Laboratory Copyright 1993 University of CambridgeDummy theory, but holds the standard ZF simpset. (This is why the +end is present.)*)upair = ZF +end