@MISC{WAYBEL30.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Meet Continuous Lattices Revisited},
  NOTE = {This work has been supported by KBN Grant 8 T11C 018 12.},
  DAY = {06},
  MONTH = {January},
  YEAR = {2000},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {This work is a continuation of formalization of \cite{CCL}. Theorems from
Chapter III, Section 2, pp. 153--156 are proved.}}

