Theory AutoCorrode

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

(*<*)
theory AutoCorrode
  imports
    "Autogen.Autogen"
    "Byte_Level_Encoding.Byte_Level_Encoding"
    "Crush.Crush"
    "Data_Structures.Data_Structures"
    "Micro_Rust_Examples.Micro_Rust_Examples"
    "Micro_Rust_Interfaces.Micro_Rust_Interfaces"
    "Micro_Rust_Interfaces_Core.Micro_Rust_Interfaces_Core"
    "Micro_Rust_Parsing_Frontend.Micro_Rust_Parsing_Frontend"
    "Micro_Rust_Runtime.Micro_Rust_Runtime"
    "Micro_Rust_Std_Lib.Micro_Rust_Std_Lib"
    "Misc.Misc"
    "Lenses_And_Other_Optics.Lenses_And_Other_Optics"
    "Separation_Lenses.Separation_Lenses"
    "Shallow_Micro_Rust.Shallow_Micro_Rust"
    "Shallow_Separation_Logic.Shallow_Separation_Logic"
begin

end
(*>*)