(* 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.*)theory upair = ZFfiles "Tools/typechk":setup TypeCheck.setupend