FLAT the Isabelle/HOL sources of the classes "Formal Languages and Automata Theory (FLAT)", using Isabelle 2019. The book is "Formal Language and Automata Theory" (Version 2), Zongli Jiang, Tsinghua University Press, 2007.