--- a/src/ZF/upair.thy Mon Jan 25 20:35:19 1999 +0100 +++ b/src/ZF/upair.thy Wed Jan 27 10:31:31 1999 +0100 @@ -6,4 +6,10 @@ Dummy theory, but holds the standard ZF simpset. *) -upair = ZF +upair = ZF + + +setup + TypeCheck.setup + +end +