DynComorphismList.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
module Comorphisms.DynComorphismList where
import Logic.Logic
import Logic.Comorphism
dynComorphismList :: [AnyComorphism]
dynComorphismList = []