{- |
Module      :  $Id$
Description :  shared ATerm conversion instances
Copyright   :  (c) Christian Maeder and Uni Bremen 2005-2007
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  non-portable (existential types)

This folder provides conversion methods, converting between Hets
data structures and shared ATerms.
Most of the modules have been automatically created using /DriFT/
from the /utils/ folder.
An execption are the modules with existential types, such as
"ATC.Grothendieck".
 -}

module ATC where
