{- |
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
-}
module ATC where