fa8878c6145f652f615a04a5e9c15a1d1327bc92cmaeder{-# LANGUAGE DeriveDataTypeable #-}

9e27c68ef285b5b875b97cbb7ef12462a6ccc4f3Christian Maeder{- |

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerModule : ./Common/DefaultMorphism.hs

e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiDescription : supply a default morphism for a given signature type

d5fe06af711a6912ae028ebf873eada4ee8733f8Christian MaederCopyright : (c) C. Maeder, and Uni Bremen 2002-2006

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt

java.lang.NullPointerException