@MISC{WAYBEL28.MIZ,
  AUTHOR = {Skorulski, Bart{\l}omiej},
  TITLE = {Lim-Inf Convergence},
  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 continues the formalization of \cite{CCL}. Theorems from
Chapter III, Section 3, pp. 158--159 are proved.}}

