module Comorphisms.DynComorphismList where
import Logic.Logic
import Logic.Comorphism
dynComorphismList :: [AnyComorphism]
dynComorphismList = []