Change Details

Users with access to the main Isabelle repository (isabelle-dev).

Users with access to the main [[https://phabricator.sketis.net/source/isabelle|Isabelle repository]].

Users with access to the main Isabelle repository (i[[https://phabricator.sketis.net/source/isabelle|Isabelle-dev) repository]].