%% PROOFUSE.TXT for directory Q:\glb     November 26, 2000 @  6:03 pm

Clauses found in proof for GLB-V.SUM
DEF-GLB

Clauses found in proof for GLB-CO-1.SUM
DEF-GLB

Clauses found in proof for GLB-FU-1.SUM
DEF-GLB

Clauses found in proof for GLB-FU-2.SUM
GLB-V
GLB-FU-1

Clauses found in proof for GLB-LT.SUM
DEF-GLB

Clauses found in proof for GLB-E.SUM
I-2
DEF-GLB