@MISC{WAYBEL_9.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {On the Topological Properties of Meet-Continuous Lattices},
  NOTE = {This work was partially supported by
   the Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {Preliminaries},
  SECTION2 = {The Operations Defined on Nets},
  SECTION3 = {The Properties of Topological Spaces},
  SECTION4 = {The Cluster Points of Nets},
  SECTION5 = {On The Topological Properties of Meet-Continuous Lattices},
  DAY = {20},
  MONTH = {December},
  YEAR = {1996},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {This work is continuation of formalization of \cite{CCL}.
   Proposition 4.4 from Chapter 0 is proved.}}

