HOL.OpenTheory
Description
readArticle :: Theory -> Interpret -> FilePath -> IO (Set Thm) Source #
readPackages :: [Name] -> IO [Theory] Source #