Theory Separation_Lenses.Separation_Lenses

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

theory Separation_Lenses
  imports
    SLens
    SLens_Examples
    SLens_Pullback
begin
end