GUHA for personal computers. The GUHA method of automated hypotheses formation, whose paradigm is to generate automatically all interesting hypotheses supported by given data, has a rather long history and Tomáš Havránek entered it in a very early stage of development in 1971. It is his achievement that GUHA has changed from a mainly logical method to a system of exploratory data analysis; and during years he contributed in a fundamental way to its advancement, both in the theoretical foundations and software projects. Here we present a short description of the current implementation of the most used GUHA procedure ASSOC