@MISC{WAYBEL23.MIZ,
  AUTHOR = {Milewski, Robert},
  TITLE = {Bases of Continuous Lattices},
  NOTE = {This work has been supported by KBN Grant 8 T11C 018 12.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Relational Subsets},
  SECTION3 = {About Bases of Continuous Lattices},
  DAY = {28},
  MONTH = {November},
  YEAR = {1998},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {The article is a Mizar formalization of \cite[168--169]{CCL}.
         We show definition and fundamental theorems from theory
         of basis of continuous lattices.}}

