Theory Syntax_Bundles

(*
 * Copyright Florian Haftmann
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *)

section ‹Syntax bundles for traditional infix syntax›

theory Syntax_Bundles
  imports "HOL-Library.Word"
begin

bundle bit_projection_infix_syntax
begin

notation bit  (infixl ‹!!› 100)

end

end