Theory iq.iq

(* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
   SPDX-License-Identifier: MIT *)

theory iq
  imports Isar_Explore
begin
end