Files in directory DUAL-BA-8

  Name                 Size          Modified

f1.in                  1178        22 Mar 1996
f1.proof               7285        22 Mar 1996
f1.proof-object       49225        22 Mar 1996
paragraph.dvi         13680        22 Mar 1996