První a poslední archivní zmínka o Holském mlýnu se nachází v latinsky psané trhové smlouvě z roku 1408, která byla edičně publikována v edici EMLER, Josef. Pozůstatky desk zemských království Českého r. 1541 pohořelých. Díl II. Praha, 1872. 45.
Po smrti mincmistra Martina staršího Rotleva z Koloděj (†1395) zdědil statek Koloděje s hradem, vesnicemi a jejich příslušenstvím syn Martin mladší Rotlev z Koloděj, který kolodějský statek pro značné zadlužení 8. března 1408 prodal svému bratrovi Johánkovi Rotlevovi z Libně. Znění trhové smlouvy: Martin z Koloděj (Colodieg) řečený Rotlev vyznal před úředníky pražskými, že své dědictví Koloděje (Colodieg) hrad, panský dvůr, vesnici, selské dvory s platem, celou vesnici Hájek (Nahaiku), selské dvory s platem, s poli, loukami, lesy, potoky, pastvinami, vinicemi, mlýny (molendinis), pivovary, hory, doly a všechny svobody, plným panstvím a veškerým příslušenstvím, v celé vsi Holi (Holy), selské dvory s platem, pole, louky, lesy, potoky, rybník, mlýn (molendino) a všechny svobody s plným panstvím a veškerými zájmy, které tam jsou nebo by tam mohly být nějakým způsobem v budoucnu, ve stejných sklizních a plodinách, jak to sám držel a měl, nic tam sobě nepozůstavujíc, kromě 20 kop grošů platu jež tu má Václav řečený Štuk z Kolpic (Cholpicz), 10 kop grošů platu jež tu má kupec Kříž (Cruci) z Prahy, 10 kop grošů platu, jež tu má suknakraječ Otík z Prahy, 9 kop grošů platu, jež tu má Vaněk z Prahy, 10 ½ kopy a 2 groši ročního holého a věčného, jež jsou kaplanovi u sv. Havla pánovi Petrovi řečenému Rebečka v Praze z řečeného dědictví propuštěny a musí být zaplaceny, kteréžto platy na řečeném dědictví jako zakázané jsou a váznou – to vše prodal Johánkovi Rotlevovi z Libně a jeho dědicům za 900 kop grošů.
V můadších archivních pramenech se Holský mlýn nevyskytuje. Roku 1437 se vesnice Hol popisuje jako "villa desertam - pustá ves" bez jakéhokoliv konkrétního příslušenství. Holský rybník přetrval až do roku 1840, kdy byl záměrně vypuštěn kvůli stavbě cestovodu - železniční trati Praha - Olomouc.
