Index - D
| Dec | HaskHOL.Core.Ext, HaskHOL.Core |
| deepseq | HaskHOL.Core.Lib, HaskHOL.Core |
| definitions | HaskHOL.Core.State, HaskHOL.Core |
| delete | HaskHOL.Core.Lib, HaskHOL.Core |
| denominator | HaskHOL.Core.Lib, HaskHOL.Core |
| deriveLift | HaskHOL.Core.Lib.Lift, HaskHOL.Core.Lib, HaskHOL.Core |
| deriveLift' | HaskHOL.Core.Lib.Lift, HaskHOL.Core.Lib, HaskHOL.Core |
| deriveLiftMany | HaskHOL.Core.Lib.Lift, HaskHOL.Core.Lib, HaskHOL.Core |
| destAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destBinary | HaskHOL.Core.Basics, HaskHOL.Core |
| destBinder | HaskHOL.Core.Basics, HaskHOL.Core |
| destBinop | HaskHOL.Core.Basics, HaskHOL.Core |
| destComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destConj | HaskHOL.Core.Basics, HaskHOL.Core |
| destCons | HaskHOL.Core.Basics, HaskHOL.Core |
| destConst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destDisj | HaskHOL.Core.Basics, HaskHOL.Core |
| destEq | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destExists | HaskHOL.Core.Basics, HaskHOL.Core |
| destForall | HaskHOL.Core.Basics, HaskHOL.Core |
| destFunTy | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| destGAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| destImp | HaskHOL.Core.Basics, HaskHOL.Core |
| destLet | HaskHOL.Core.Basics, HaskHOL.Core |
| destList | HaskHOL.Core.Basics, HaskHOL.Core |
| destNeg | HaskHOL.Core.Basics, HaskHOL.Core |
| destNumeral | HaskHOL.Core.Basics, HaskHOL.Core |
| destThm | HaskHOL.Core.Kernel, HaskHOL.Core |
| destTyAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destTyAll | HaskHOL.Core.Basics, HaskHOL.Core |
| destTyBinder | HaskHOL.Core.Basics, HaskHOL.Core |
| destTyComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destTyEx | HaskHOL.Core.Basics, HaskHOL.Core |
| destType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| destTypeOp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| destUExists | HaskHOL.Core.Basics, HaskHOL.Core |
| destUType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| destUTypes | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| destVar | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| destVarType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| disjuncts | HaskHOL.Core.Basics, HaskHOL.Core |
| doList | HaskHOL.Core.Lib, HaskHOL.Core |
| dropWhileEnd | HaskHOL.Core.Lib, HaskHOL.Core |