1(* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 *) 6 7theory Sep_Tactics 8imports 9 Sep_Solve 10 Sep_Attribs 11 Sep_ImpI 12 Sep_Rule_Ext 13begin 14 15end 16