standardized towards new-style formal comments: isabelle update_comments;
theory Abs_Int_initimports "HOL-Library.While_Combinator" "HOL-Library.Extended" Vars Collecting Abs_Int_Testsbeginhide_const (open) top bot dom \<comment> \<open>to avoid qualified names\<close>end