--- a/doc/Contents Mon Oct 31 17:10:13 2022 +0100 +++ b/doc/Contents Mon Oct 31 17:13:57 2022 +0100 @@ -27,3 +27,4 @@ intro Old Introduction to Isabelle logics Isabelle's Logics: HOL and misc logics logics-ZF Isabelle's Logics: FOL and ZF +