@MISC{WAYBEL14.MIZ,
  AUTHOR = {Byli\'nski, Czes{\l}aw and Rudnicki, Piotr},
  TITLE = {The {S}cott Topology. {P}art {II}},
  NOTE = {This work was partially supported by NSERC Grant OGP9207
   and NATO CRG 951368.},
  SECTION1 = {Preliminaries},
  SECTION2 = {The Scott topology},
  DAY = {27},
  MONTH = {August},
  YEAR = {1997},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  ADDRESS2 = {University of Alberta\\Edmonton},
  SUMMARY = {Mizar formalization of pp. 105--108 of \cite{CCL} which continues
 \cite{WAYBEL11.ABS}.  We found a simplification for the proof 
 of Corollary~1.15,
in the last case, see the proof in the Mizar article for details.		}}

