(* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. SPDX-License-Identifier: MIT *) theory Autogen imports AutoLens AutoCommon AutoLocality_Test0 AutoLocality_Test1 AutoLocality_Test2 AutoLocality begin end