Copyright | (c) DFKI GmbH 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(derive Typeable instances) |
Safe Haskell | None |
Isabelle.ATC_Isabelle
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
AltSyntax
VName
QName
Indexname
IsaClass
Typ
Continuity
TAttr
DTyp
Term
Prop
Props
Sentence
DefEquation
FixrecEquation
Ctxt
Mixfix
MixfixTemplate
Datatype
DatatypeConstructor
Domain
DomainConstructor
DomainConstructorArg
Axiom
FunSig
SetDecl
MetaTerm
TypeSig
BaseSig
Sign
IsaProof
ProofCommand
ProofEnd
Modifier
ProofMethod
Orphan instances
ShATermConvertible ProofMethod Source # | |
ShATermConvertible Modifier Source # | |
ShATermConvertible ProofEnd Source # | |
ShATermConvertible ProofCommand Source # | |
ShATermConvertible IsaProof Source # | |
ShATermConvertible Sign Source # | |
ShATermConvertible BaseSig Source # | |
ShATermConvertible TypeSig Source # | |
ShATermConvertible MetaTerm Source # | |
ShATermConvertible SetDecl Source # | |
ShATermConvertible FunSig Source # | |
ShATermConvertible Axiom Source # | |
ShATermConvertible DomainConstructorArg Source # | |
ShATermConvertible DomainConstructor Source # | |
ShATermConvertible Domain Source # | |
ShATermConvertible DatatypeConstructor Source # | |
ShATermConvertible Datatype Source # | |
ShATermConvertible MixfixTemplate Source # | |
ShATermConvertible Mixfix Source # | |
ShATermConvertible Ctxt Source # | |
ShATermConvertible FixrecEquation Source # | |
ShATermConvertible DefEquation Source # | |
ShATermConvertible Sentence Source # | |
ShATermConvertible Props Source # | |
ShATermConvertible Prop Source # | |
ShATermConvertible Term Source # | |
ShATermConvertible DTyp Source # | |
ShATermConvertible TAttr Source # | |
ShATermConvertible Continuity Source # | |
ShATermConvertible Typ Source # | |
ShATermConvertible IsaClass Source # | |
ShATermConvertible Indexname Source # | |
ShATermConvertible QName Source # | |
ShATermConvertible VName Source # | |
ShATermConvertible AltSyntax Source # | |