added axclass inverse and consts inverse, divide (infix "/");
moved axclass power to Nat.thy;
(* Title: ZF/upair.thy
ID: $Id$
Author: Lawrence C Paulson and Martin D Coen, CU Computer Laboratory
Copyright 1993 University of Cambridge
*)
theory upair = ZF
files "Tools/typechk":
setup TypeCheck.setup
setup Rulify.setup
end