@MISC{ISOMICHI.MIZ,
  AUTHOR = {Jastrz\c{e}bska, Magdalena and Grabowski, Adam},
  TITLE = {The Properties of Supercondensed Sets, Subcondensed Sets and
     Condensed Sets},
  SECTION1 = {Preliminaries},
  SECTION2 = {Connections between Supercondensed, Condensed,
      and Subcondensed Sets},
  SECTION3 = {Regular Open and Regular Closed Sets},
  SECTION4 = {Boundaries and Borders},
  SECTION5 = {Auxiliary Theorems about Intervals},
  SECTION6 = {Classification of Subsets},
  DAY = {31},
  MONTH = {March},
  YEAR = {2005},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {University of Bia{\l}ystok},
  SUMMARY = {We formalized article ``New concepts in the theory of
    topological space -- supercondensed set, subcondensed set,
    and condensed set'' by Yoshinori Isomichi. First
    we defined supercondensed, subcondensed, and condensed sets
    and then gradually, defining other attributes such as regular
    open set or regular closed set, we formalized all the
    theorems and remarks that one can find in Isomichi's article.}}
