8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder{- |

fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian MaederModule : $Id$

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerDescription : shared ATerm conversion instances

5e874259af7e1161240c70c3d2ed33e86c7da167Christian MaederCopyright : (c) Christian Maeder and Uni Bremen 2005-2007

67ebe351bf4578fa09c53dae43ba728e2650f652Christian MaederLicense : GPLv2 or higher, see LICENSE.txt

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu

fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian MaederMaintainer : Christian.Maeder@dfki.de

3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederStability : provisional

fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian MaederPortability : non-portable (existential types)

fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder

1711f9cf0aa5b0564a0b5aa5e331e51e4c1b1a4cChristian MaederThis folder provides conversion methods, converting between Hets

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederdata structures and shared ATerms.

dea4c92f0c061d589c542d0640a18dab36dfbb46Christian MaederMost of the modules have been automatically created using /DriFT/

1711f9cf0aa5b0564a0b5aa5e331e51e4c1b1a4cChristian Maederfrom the /utils/ folder.

1711f9cf0aa5b0564a0b5aa5e331e51e4c1b1a4cChristian MaederAn execption are the modules with existential types, such as

a669e4685b32ff5ca1bca785eacc5e30a545b010Christian Maeder"ATC.Grothendieck".

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder -}

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder

17388303189780ad2e579c56547bf1a849d3666bChristian Maedermodule ATC where

b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maeder