https://kino-isabelle.hexdocs.pm/KinoIsabelle.Messages.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/KinoIsabelle.Output.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/KinoIsabelle.Positions.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/KinoIsabelle.Result.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/KinoIsabelle.Session.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/KinoIsabelle.Theory.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/KinoIsabelle.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/api-reference.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/changelog.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/demo.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/index.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/license.html 2026-11-04T18:40:26Z daily 0.8 https://kino-isabelle.hexdocs.pm/readme.html 2026-11-04T18:40:26Z daily 0.8