Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerjonathan.von_schroeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Isabelle.Isa2DG

Description

 

Documentation

_insNodeDG :: Sign -> [Named Sentence] -> String -> DGraph -> (DGraph, Node)

analyzeMessages :: Int -> [String] -> IO ()

anaThyFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv))

mkNode :: (DGraph, Map String (Node, Sign)) -> IsaData -> (DGraph, Map String (Node, Sign))

anaIsaFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv))