Documentation

type IsaData = (String, Maybe String, [String], [String], [String], [Sentence])

importIsaDataIO :: String -> IO [IsaData]

importIsaData :: [Thy] -> [IsaData]

hXmlBody_2IsaSentence :: Body_ -> Sentence

hXmlCtxt2IsaCtxt :: Ctxt -> Ctxt

hXmlMixfix2IsaMixfix :: Mixfix -> Mixfix

hXmlOneOf4_2IsaMixfixTemplate :: OneOf4 Arg AString Break Block -> MixfixTemplate

hXmlDatatype2IsaDatatype :: Datatype -> Datatype

hXmlDomain2IsaDomain :: Domain -> Domain

hXmlFixrecEquation2IsaFixrecEquation :: FixrecEquation -> FixrecEquation

hXmlAxiom2IsaAxiom :: Axiom -> Axiom

hXmlClass2IsaClass :: Class -> IsaClass

hXmlSort2IsaSort :: Sort -> Sort

hXmlType2IsaTyp :: Type -> Typ

hXmlTFree2IsaTyp :: TFree -> Typ

hXmlOneOf3_2IsaTyp :: OneOf3 TVar TFree Type -> Typ

hXmlOneOf6_2IsaTerm :: [String] -> OneOf6 Bound Free Var Const App Abs -> Term

hXmlConst2IsaTerm :: Const -> Term

hXmlApp2IsaTerm :: [String] -> App -> Term

hXmlAbs2IsaTerm :: [String] -> Abs -> Term