Thu, 03 Nov 1994 12:26:59 +0100 ZF/Fixedpt/subset0_cs: moved to ZF/ZF.ML
lcp [Thu, 03 Nov 1994 12:26:59 +0100] rev 688
ZF/Fixedpt/subset0_cs: moved to ZF/ZF.ML
Thu, 03 Nov 1994 12:23:19 +0100 ZF/domrange/converse_iff: new
lcp [Thu, 03 Nov 1994 12:23:19 +0100] rev 687
ZF/domrange/converse_iff: new
Thu, 03 Nov 1994 12:06:37 +0100 ZF/upair/theI2: new
lcp [Thu, 03 Nov 1994 12:06:37 +0100] rev 686
ZF/upair/theI2: new
Thu, 03 Nov 1994 11:58:16 +0100 ZF/equalities/domain_converse,range_converse,
lcp [Thu, 03 Nov 1994 11:58:16 +0100] rev 685
ZF/equalities/domain_converse,range_converse, prod_Un_distrib2,prod_Int_distrib2: new
Thu, 03 Nov 1994 11:52:04 +0100 ZF/Fixedpt/subset0_cs: moved to ZF/ZF.ML
lcp [Thu, 03 Nov 1994 11:52:04 +0100] rev 684
ZF/Fixedpt/subset0_cs: moved to ZF/ZF.ML ZF/Fixedpt/subset_cs: moved to ZF/subset.ML
Thu, 03 Nov 1994 11:45:41 +0100 Cardinal_AC/surj_implies_inj: uses Pi_memberD instead of memberPiE
lcp [Thu, 03 Nov 1994 11:45:41 +0100] rev 683
Cardinal_AC/surj_implies_inj: uses Pi_memberD instead of memberPiE
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip