Study directory Q:\choice    June  4, 2000 @  2:04 pm

Theorem groups used in proof for AC-SS-2.OUT
119: SS-1.USE
272: DO-1.USE
659: ???.USE
660: ???.USE
661: sos

Theorem groups used in proof for AC-V.OUT
62: AX-C-1.USE
70: AX-CH-JB.USE
658: sos
659: sos

Theorem groups used in proof for AC-SG.OUT
1: AX-A-2.USE
2: AX-A-2.USE
3: AX-A-2.USE
17: AX-B-2.USE
26: AX-B-2.USE
27: AX-B-2.USE
135: OP-3.USE
218: CP-1.USE
304: IN-1.USE
305: IN-1.USE
564: SG-1.USE
673: ???.USE
674: sos
675: sos

Theorem groups used in proof for AC-SS-1.OUT
1: AX-A-2.USE
27: AX-B-2.USE
72: AX-CH-JB.USE
102: SP-1.USE
116: SS-1.USE
117: SS-1.USE
378: SC-1.USE
660: sos
675: C-1.DEM
728: SC-1.DEM

Theorem groups used in proof for AC-MEM.OUT
1: AX-A-2.USE
20: AX-B-2.USE
71: AX-CH-JB.USE
305: IN-1.USE
659: sos

Theorem groups used in proof for AC-FP.OUT
5: AX-A-8.USE
70: AX-CH-JB.USE
71: AX-CH-JB.USE
77: PO-1.USE
421: IN1.USE
741: CO2-A.USE
753: CO2-A.USE
1144: IDX1.USE
1165: FP1.USE
1186: IDX2-A.USE
1210: IDX3-A.USE
1216: sos
1217: sos
1428: CO1-B.DEM
1570: IDX1.DEM

Theorem groups used in proof for AC-AP.OUT
23: AX-B-16.USE
69: AX-CH-JB.USE
71: AX-CH-JB.USE
221: SS1.USE
1005: ID4.USE
1006: ID4.USE
1690: AP2-REF.USE
1724: ???.USE
1725: sos

Done!