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