proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
theory Abs_Int_init
imports "HOL-Library.While_Combinator"
"HOL-Library.Extended"
Vars Collecting Abs_Int_Tests
begin
hide_const (open) top bot dom \<comment> \<open>to avoid qualified names\<close>
end