chapter \<open>Parametricity Solver\<close>
(*<*)
theory Param_Chapter imports Main begin end
(*>*)
