{-# OPTIONS -w -O0 #-}
{- |
Module      :  HolLight/ATC_HolLight.der.hs
Description :  generated Typeable, ShATermConvertible instances
Copyright   :  (c) DFKI Bremen 2008
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  non-portable(overlapping Typeable instances)

Automatic derivation of instances via DrIFT-rule Typeable, ShATermConvertible
  for the type(s):
'HolLight.Sentence.Sentence'
'HolLight.Sign.Sign'
'HolLight.Sublogic.HolLightSL'
'HolLight.Term.HolType'
'HolLight.Term.HolProof'
'HolLight.Term.HolParseType'
'HolLight.Term.HolTermInfo'
'HolLight.Term.Term'
-}

{-
  Generated by 'genRules' (automatic rule generation for DrIFT). Don't touch!!
  dependency files:
HolLight/Sentence.hs
HolLight/Sign.hs
HolLight/Sublogic.hs
HolLight/Term.hs
-}

module HolLight.ATC_HolLight () where

import ATC.AS_Annotation
import ATerm.Lib
import Common.Doc
import Common.DocUtils
import Common.Result
import Data.Maybe (fromJust, catMaybes, isNothing)
import Data.Typeable
import HolLight.Helper
import HolLight.Sentence
import HolLight.Sign
import HolLight.Sublogic
import HolLight.Term
import qualified Data.Char as Char
import qualified Data.Map as Map

{-! for HolLight.Sentence.Sentence derive : Typeable !-}
{-! for HolLight.Sign.Sign derive : Typeable !-}
{-! for HolLight.Sublogic.HolLightSL derive : Typeable !-}
{-! for HolLight.Term.HolType derive : Typeable !-}
{-! for HolLight.Term.HolProof derive : Typeable !-}
{-! for HolLight.Term.HolParseType derive : Typeable !-}
{-! for HolLight.Term.HolTermInfo derive : Typeable !-}
{-! for HolLight.Term.Term derive : Typeable !-}

{-! for HolLight.Sentence.Sentence derive : ShATermConvertible !-}
{-! for HolLight.Sign.Sign derive : ShATermConvertible !-}
{-! for HolLight.Sublogic.HolLightSL derive : ShATermConvertible !-}
{-! for HolLight.Term.HolType derive : ShATermConvertible !-}
{-! for HolLight.Term.HolProof derive : ShATermConvertible !-}
{-! for HolLight.Term.HolParseType derive : ShATermConvertible !-}
{-! for HolLight.Term.HolTermInfo derive : ShATermConvertible !-}
{-! for HolLight.Term.Term derive : ShATermConvertible !-}
