@MISC{WAYBEL31.MIZ,
  AUTHOR = {Milewski, Robert},
  TITLE = {Weights of Continuous Lattices},
  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 4, pp. 170--171 are proved.}}

