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