{- |

Module : $Id$

Description : folder description

Copyright : (c) Christian Maeder and Uni Bremen 2005-2007

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.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 given by "Common.ATerm.Lib".

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