Hets - the Heterogeneous Tool Set

Safe HaskellNone

Isabelle.IsaImport

Documentation

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

importIsaDataIO :: String -> IO [IsaData] Source #

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

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