Files in directory DUAL-GT-7

  Name                 Size          Modified

f1.in                   912        22 Mar 1996
f1.proof               2319        22 Mar 1996
f1.proof-object       12980        22 Mar 1996
paragraph.dvi          5068        22 Mar 1996