1theory Abs_Int_init 2imports "HOL-Library.While_Combinator" 3 "HOL-Library.Extended" 4 Vars Collecting Abs_Int_Tests 5begin 6 7hide_const (open) top bot dom \<comment> \<open>to avoid qualified names\<close> 8 9end 10