(*
  File:         PAC_Specification.thy
  Author:       Mathias Fleury, Daniela Kaufmann, JKU
  Maintainer:   Mathias Fleury, JKU
*)
theory LPAC_Specification
imports PAC_Checker.PAC_More_Poly
  PAC_Checker.PAC_Specification
begin

end
