doc/Contents
changeset 76397 95a71ee0fffd
parent 76396 389d77e6be9f
child 76399 d0a1f3eb0982
--- 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
+