Common/ATerm/Lib.hs

	Lib.hs revision 9df2d5aa580dbe126ccdab057084d19cce33a6be
952777ffbefca642d799990410a635b7963f87d7Robert Savu{- |
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerModule      :  $Header$
952777ffbefca642d799990410a635b7963f87d7Robert SavuCopyright   :  (c) Klaus L�ttich, Uni Bremen 2002-2004
952777ffbefca642d799990410a635b7963f87d7Robert SavuLicense     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
952777ffbefca642d799990410a635b7963f87d7Robert Savu
952777ffbefca642d799990410a635b7963f87d7Robert SavuMaintainer  :  maeder@tzi.de
952777ffbefca642d799990410a635b7963f87d7Robert SavuStability   :  provisional
952777ffbefca642d799990410a635b7963f87d7Robert SavuPortability :  portable
952777ffbefca642d799990410a635b7963f87d7Robert Savu
952777ffbefca642d799990410a635b7963f87d7Robert Savu-}
952777ffbefca642d799990410a635b7963f87d7Robert Savu
952777ffbefca642d799990410a635b7963f87d7Robert Savumodule Common.ATerm.Lib (
952777ffbefca642d799990410a635b7963f87d7Robert Savu
952777ffbefca642d799990410a635b7963f87d7Robert Savu        module Common.ATerm.AbstractSyntax,
952777ffbefca642d799990410a635b7963f87d7Robert Savu        module Common.ATerm.Conversion,
952777ffbefca642d799990410a635b7963f87d7Robert Savu        module Common.ATerm.ConvInstances,
952777ffbefca642d799990410a635b7963f87d7Robert Savu
952777ffbefca642d799990410a635b7963f87d7Robert Savu) where
952777ffbefca642d799990410a635b7963f87d7Robert Savu
952777ffbefca642d799990410a635b7963f87d7Robert Savuimport Common.ATerm.AbstractSyntax
952777ffbefca642d799990410a635b7963f87d7Robert Savuimport Common.ATerm.Conversion
952777ffbefca642d799990410a635b7963f87d7Robert Savuimport Common.ATerm.ConvInstances
952777ffbefca642d799990410a635b7963f87d7Robert Savu