added Flawless and Monotheism also to the Isabelle file