DATATYPE_DECL | CASL.AS_Basic_CASL |
DATA_DEFN | CspCASL.AS_CSP_CASL |
DF_HTML | Common.AS_Annotation, Common.GlobalAnnotations |
DF_LATEX | Common.AS_Annotation, Common.GlobalAnnotations |
DF_RTF | Common.AS_Annotation, Common.GlobalAnnotations |
DGBasic | Static.DevGraph |
DGChange | Proofs.Proofs |
DGClosed | Static.DevGraph |
DGClosedLenv | Static.DevGraph |
DGCofree | Static.DevGraph |
DGExtension | Static.DevGraph |
DGFitSpec | Static.DevGraph |
DGFitView | Static.DevGraph |
DGFitViewA | Static.DevGraph |
DGFitViewAImp | Static.DevGraph |
DGFitViewImp | Static.DevGraph |
DGFormalParams | Static.DevGraph |
DGFree | Static.DevGraph |
DGHiding | Static.DevGraph |
DGImports | Static.DevGraph |
DGLink | Static.DevGraph |
DGLinkLab | Static.DevGraph |
DGLinkType | Static.DevGraph |
DGLocal | Static.DevGraph |
DGNode | Static.DevGraph |
DGNodeLab | Static.DevGraph |
DGOrigin | Static.DevGraph |
DGProof | Static.DevGraph |
DGRef | Static.DevGraph |
DGRevealTranslation | Static.DevGraph |
DGRevealing | Static.DevGraph |
DGRule | Proofs.Proofs |
DGSpecInst | Static.DevGraph |
DGTranslation | Static.DevGraph |
DGUnion | Static.DevGraph |
DGView | Static.DevGraph |
DGraph | Static.DevGraph |
DGraphToAGraphEdge | GUI.ConvertDevToAbstractGraph |
DGraphToAGraphNode | GUI.ConvertDevToAbstractGraph |
Data | Syntax.AS_Structured |
Datatype | HasCASL.As |
DatatypeDecl |
1 (Type/Class) | HasCASL.As |
2 (Data Constructor) | HasCASL.As |
DatatypeDefn | HasCASL.Le |
Datatype_decl | CASL.AS_Basic_CASL |
Datatype_items | CASL.AS_Basic_CASL |
Davinci | Options |
Debug | Common.Result |
Decomp | Common.Lib.Graph |
Def | Static.DevGraph |
DefComp | Proofs.Proofs |
DefShift | Proofs.Proofs |
DefToMono | Proofs.Proofs |
Definedness | CASL.AS_Basic_CASL |
Definition | HasCASL.Le |
DeleteEdge | Proofs.Proofs |
DeleteNode | Proofs.Proofs |
Descr | GUI.AbstractGraphView |
Diag | Common.Result |
DiagKind | Common.Result |
Diagnosis | Common.Result |
Diagnostic | Haskell.Hatchet.Diagnostic |
Diagram | Logic.Logic |
Direct_link | Syntax.AS_Library |
Disjunction | CASL.AS_Basic_CASL |
DisplayMap | Common.GlobalAnnotations |
Display_anno | Common.AS_Annotation |
Display_format | Common.AS_Annotation, Common.GlobalAnnotations |
Disproved | Logic.Prover |
Doc |
1 (Type/Class) | Common.Lib.Pretty |
2 (Type/Class) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
Dot | Options |
DotDot | Haskell.Hatchet.HsLexer |
DoubleArrow | Haskell.Hatchet.HsLexer |
DoubleColon | Haskell.Hatchet.HsLexer |
Download_items | Syntax.AS_Library |
Downset | HasCASL.As |
dConScheme | Haskell.Hatchet.TIMonad |
dataConsEnv | Haskell.Hatchet.DataConsAssump |
dataDef | HasCASL.ParseItem |
dataDefn | CspCASL.Parse_hugo |
dataItem | HasCASL.ParseItem |
dataItems | HasCASL.ParseItem |
dataPatToType | HasCASL.TypeDecl |
dataS | CspCASL.CCKeywords |
dataT | CspCASL.CCLexer |
data_logic | Logic.Logic |
datatype | CASL.SortItem |
dconsAssumps | Haskell.Hatchet.MultiModule, Haskell.Hatchet.MultiModuleBasics |
dconstypesTime | Haskell.Hatchet.TIModule |
debug | Common.Result |
debugBindGroups | Haskell.Hatchet.DependAnalysis |
debugDeclBindGroups | Haskell.Hatchet.DeclsDepends |
debugRenderLatex | Common.PrettyPrint |
debug_latex_filename | WriteFn |
decEscape | Common.Lexer |
defId | HasCASL.MixAna |
defS | Common.Keywords |
defType | HasCASL.TypeCheck |
defaultHetcatsOpts | Options |
defaultLogic | Comorphisms.LogicGraph |
defaultMode | Haskell.Hatchet.AHsPretty, Haskell.Hatchet.HsPretty |
default_latex_line_length | Syntax.Print_HetCASL |
default_print_conf | Common.GlobalAnnotations |
defnS | Common.Keywords |
deg | Common.Lib.Graph |
deg' | Common.Lib.Graph |
delEdge | Common.Lib.Graph |
delEdges | Common.Lib.Graph |
delFromFM |
1 (Function) | Common.Lib.SimpleMap |
2 (Function) | Haskell.Hatchet.FiniteMaps |
delLEdge | Common.Lib.Graph |
delNode | Common.Lib.Graph |
delNodes | Common.Lib.Graph |
delallgraphs | GUI.AbstractGraphView |
delete |
1 (Function) | Common.DFiniteMap |
2 (Function) | Common.Lib.Map |
3 (Function) | Common.Lib.Set |
deleteAt | Common.Lib.Map |
deleteFindMax |
1 (Function) | Common.Lib.Map |
2 (Function) | Common.Lib.Set |
deleteFindMin |
1 (Function) | Common.Lib.Map |
2 (Function) | Common.Lib.Set |
deleteMax |
1 (Function) | Common.Lib.Map |
2 (Function) | Common.Lib.Set |
deleteMin |
1 (Function) | Common.Lib.Map |
2 (Function) | Common.Lib.Set |
delgraph | GUI.AbstractGraphView |
dellink | GUI.AbstractGraphView |
delnode | GUI.AbstractGraphView |
derivingS | HasCASL.HToken |
desugarTidyModule | Haskell.Hatchet.Desugar |
desugarTime | Haskell.Hatchet.TIModule |
determineedgetype | GUI.AbstractGraphView |
dff | Haskell.Hatchet.Digraph |
dfs | Haskell.Hatchet.Digraph |
dg2abstrEdge | GUI.ConvertDevToAbstractGraph |
dg2abstrNode | GUI.ConvertDevToAbstractGraph |
dgToSpec | Static.DGToSpec |
dgl_morphism | Static.DevGraph |
dgl_origin | Static.DevGraph |
dgl_type | Static.DevGraph |
dgn_libname | Static.DevGraph |
dgn_name | Static.DevGraph |
dgn_node | Static.DevGraph |
dgn_origin | Static.DevGraph |
dgn_renamed | Static.DevGraph |
dgn_sens | Static.DevGraph |
dgn_sign | Static.DevGraph |
diagKind | Common.Result |
diagPos | Common.Result |
diagString | Common.Result |
diags | Common.Result |
diamondS | Common.Keywords |
diffAss | HasCASL.AsToLe |
diffClass | HasCASL.AsToLe |
diffEnv | HasCASL.AsToLe |
diffFM | Haskell.Hatchet.FiniteMaps |
diffKindDiag | HasCASL.ClassAna |
diffMapSet | CASL.Sign |
diffSig | CASL.Sign |
diffType | HasCASL.AsToLe |
difference |
1 (Function) | Common.DFiniteMap |
2 (Function) | Common.Lib.Map |
3 (Function) | Common.Lib.Set |
differenceWith | Common.Lib.Map |
differenceWithKey | Common.Lib.Map |
differentKeys | Common.Lib.Map |
digit |
1 (Function) | Haskell.Hatchet.ParseLib |
2 (Function) | Common.Lib.Parsec, Common.Lib.Parsec.Char |
dirname | Common.Utils |
disjoint | Common.Lib.Set |
display_anno | Common.Anno_Parser |
display_annos | Common.GlobalAnnotations |
display_format_table | Common.AS_Annotation |
doDump | Haskell.Hatchet.Utils |
doIfVerbose | Options |
doIndent |
1 (Function) | Haskell.Hatchet.AHsPretty |
2 (Function) | Haskell.Hatchet.HsPretty |
doToExp | Haskell.Hatchet.Desugar |
dom | Logic.Logic |
dotFormulae |
1 (Function) | CASL.Parse_AS_Basic |
2 (Function) | HasCASL.ParseItem |
dotS | Common.Keywords |
dotT | Common.AnnoState |
double |
1 (Function) | Common.Lib.Pretty |
2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
doubleQuotes |
1 (Function) | Common.Lib.Pretty |
2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
downloadExtensions | Options |
dropIgnore | Common.Utils |
dumpDiagnostic | Haskell.Hatchet.Diagnostic |