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) Source #

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

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

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

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