Theory AutoCorres2.Named_Rules

(*
 * Copyright (c) 2023 Apple Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *)

theory Named_Rules
  imports Main
  keywords "named_rules"::thy_decl
begin
ML_file "named_rules.ML"
end