%% PROOFUSE.TXT for directory Q:\D\1     August 24, 1997 @  8:56 pm

Clauses found in proof for D-1A1.SUM
U-7A
U-7B
U-7C
I-2
U-2

Clauses found in proof for D-1A2.SUM
LA-1A
LA-1B
LA-2A

Clauses found in proof for D-2A1.SUM
U-7A
U-7B
U-7C
I-2
U-2

Clauses found in proof for D-6.SUM
D-5

Clauses found in proof for D-2A2.SUM
LA-1C
LA-1D

Clauses found in proof for D-DJ.SUM
D-5
I-5
U-2

Clauses found in proof for D-2B1.SUM
I-2
U-2

Clauses found in proof for D-2B2.SUM
LA-1C
LA-1D
LA-3A

Clauses found in proof for D-5.SUM
I-5

Clauses found in proof for D-5A.SUM
D-5

Clauses found in proof for D-5B.SUM
D-5

Clauses found in proof for D-6A.SUM
D-6

Clauses found in proof for D-7.SUM
I-5
U-2

Clauses found in proof for SPECIAL.SUM
U-7A
U-2

Clauses found in proof for D-0.SUM
U-7A
U-7B
U-7C
I-2
U-2

Clauses found in proof for D-0A.SUM
U-7A
U-7B
U-7C
I-2
U-2

Clauses found in proof for D-1B1.SUM
I-2
U-2

Clauses found in proof for D-1B2.SUM
LA-1A
LA-1B
LA-2A

Clauses found in proof for D-3.SUM
LA-1A

Clauses found in proof for D-1A.SUM
U-7A
U-7B
U-7C

Clauses found in proof for D-4.SUM
LA-1A
LA-1C
LA-2A

Clauses found in proof for D-3-COR.SUM
I-2
D-3

Clauses found in proof for D-4-COR.SUM
U-2
D-4