@MISC{WAYBEL33.MIZ,
  AUTHOR = {Bancerek, Grzegorz and Endou, Noboru},
  TITLE = {Compactness of Lim-inf Topology},
  DAY = {29},
  MONTH = {July},
  YEAR = {2001},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {Shinshu University\\Nagano},
  SUMMARY = {Formalization of \cite{CCL}, chapter III, section 3 (3.4--3.6).}}

