Index
| #<< | HaskHOL.Core.Lib, HaskHOL.Core |
| $!! | HaskHOL.Core.Lib, HaskHOL.Core |
| *> | HaskHOL.Core.Lib, HaskHOL.Core |
| <#< | HaskHOL.Core.Lib, HaskHOL.Core |
| <#> | HaskHOL.Core.Lib, HaskHOL.Core |
| <$ | HaskHOL.Core.Lib, HaskHOL.Core |
| <$> | HaskHOL.Core.Lib, HaskHOL.Core |
| <* | HaskHOL.Core.Lib, HaskHOL.Core |
| <**> | HaskHOL.Core.Lib, HaskHOL.Core |
| <*> | HaskHOL.Core.Lib, HaskHOL.Core |
| <=< | HaskHOL.Core.Lib, HaskHOL.Core |
| <?> | HaskHOL.Core.Lib, HaskHOL.Core |
| <|> | HaskHOL.Core.Lib, HaskHOL.Core |
| =<< | HaskHOL.Core.Lib, HaskHOL.Core |
| >=> | HaskHOL.Core.Lib, HaskHOL.Core |
| >> | HaskHOL.Core.Lib, HaskHOL.Core |
| >>= | HaskHOL.Core.Lib, HaskHOL.Core |
| Abs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| aConv | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| addPrebrokenBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| addUnspacedBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| allpairs | HaskHOL.Core.Lib, HaskHOL.Core |
| alpha | HaskHOL.Core.Basics, HaskHOL.Core |
| alphaOrder | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| alphaTyabs | HaskHOL.Core.Basics, HaskHOL.Core |
| alphaUtype | HaskHOL.Core.Basics, HaskHOL.Core |
| Alternative | HaskHOL.Core.Lib, HaskHOL.Core |
| ap | HaskHOL.Core.Lib, HaskHOL.Core |
| Applicative | HaskHOL.Core.Lib, HaskHOL.Core |
| Assoc | HaskHOL.Core.Lib, HaskHOL.Core |
| assoc | HaskHOL.Core.Lib, HaskHOL.Core |
| assocd | HaskHOL.Core.Lib, HaskHOL.Core |
| AssocLeft | HaskHOL.Core.Lib, HaskHOL.Core |
| AssocNone | HaskHOL.Core.Lib, HaskHOL.Core |
| AssocRight | HaskHOL.Core.Lib, HaskHOL.Core |
| axioms | HaskHOL.Core.State, HaskHOL.Core |
| axiomThm | HaskHOL.Core.Kernel, HaskHOL.Core |
| base | HaskHOL.Core.Ext, HaskHOL.Core |
| BaseCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| baseQuoter | HaskHOL.Core.Ext, HaskHOL.Core |
| BaseThry | |
| 1 (Type/Class) | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| BenignFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| binders | HaskHOL.Core.Parser, HaskHOL.Core |
| binops | HaskHOL.Core.Basics, HaskHOL.Core |
| bndvar | HaskHOL.Core.Basics, HaskHOL.Core |
| bndvarTyabs | HaskHOL.Core.Basics, HaskHOL.Core |
| body | HaskHOL.Core.Basics, HaskHOL.Core |
| bodyTyabs | HaskHOL.Core.Basics, HaskHOL.Core |
| buildExpressionParser | HaskHOL.Core.Lib, HaskHOL.Core |
| butLast | HaskHOL.Core.Lib, HaskHOL.Core |
| can | HaskHOL.Core.Lib, HaskHOL.Core |
| canNot | HaskHOL.Core.Lib, HaskHOL.Core |
| catchHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| catFrees | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| catMaybes | HaskHOL.Core.Lib, HaskHOL.Core |
| catTypeOpVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| catTyVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| cComb | HaskHOL.Core.Lib, HaskHOL.Core |
| check | HaskHOL.Core.Lib, HaskHOL.Core |
| chopList | HaskHOL.Core.Lib, HaskHOL.Core |
| Comb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| concl | HaskHOL.Core.Kernel, HaskHOL.Core |
| conjuncts | HaskHOL.Core.Basics, HaskHOL.Core |
| Const | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| constants | HaskHOL.Core.State, HaskHOL.Core |
| ConstTag | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| containsUType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| ctxtBase | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| 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 |
| Either | HaskHOL.Core.Lib, HaskHOL.Core |
| either | HaskHOL.Core.Lib, HaskHOL.Core |
| el | HaskHOL.Core.Lib, HaskHOL.Core |
| elab | HaskHOL.Core.Parser, HaskHOL.Core |
| elemIndex | HaskHOL.Core.Lib, HaskHOL.Core |
| empty | HaskHOL.Core.Lib, HaskHOL.Core |
| endItlist | HaskHOL.Core.Lib, HaskHOL.Core |
| evalHOLCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| Exception | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| execHOLCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| exists | HaskHOL.Core.Lib, HaskHOL.Core |
| Exp | HaskHOL.Core.Ext, HaskHOL.Core |
| ExtClass | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| extendCtxt | HaskHOL.Core.Ext, HaskHOL.Core |
| extractAxiom | HaskHOL.Core.Ext, HaskHOL.Core |
| extractBasicDefinition | HaskHOL.Core.Ext, HaskHOL.Core |
| ExtState | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| ExtThry | |
| 1 (Type/Class) | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| fail | HaskHOL.Core.Lib, HaskHOL.Core |
| failWhen | HaskHOL.Core.Lib, HaskHOL.Core |
| ffComb | HaskHOL.Core.Lib, HaskHOL.Core |
| ffCombM | HaskHOL.Core.Lib, HaskHOL.Core |
| filterM | HaskHOL.Core.Lib, HaskHOL.Core |
| find | HaskHOL.Core.Lib, HaskHOL.Core |
| findM | HaskHOL.Core.Lib, HaskHOL.Core |
| findPath | HaskHOL.Core.Basics, HaskHOL.Core |
| findTerm | HaskHOL.Core.Basics, HaskHOL.Core |
| findTerms | HaskHOL.Core.Basics, HaskHOL.Core |
| first | HaskHOL.Core.Lib, HaskHOL.Core |
| firstM | HaskHOL.Core.Lib, HaskHOL.Core |
| FlagAddTyAppsAuto | |
| 1 (Type/Class) | HaskHOL.Core.Parser, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.Parser, HaskHOL.Core |
| FlagDebug | |
| 1 (Type/Class) | HaskHOL.Core.State, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.State, HaskHOL.Core |
| FlagIgnoreConstVarstruct | |
| 1 (Type/Class) | HaskHOL.Core.Parser, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.Parser, HaskHOL.Core |
| FlagPrintAllThm | |
| 1 (Type/Class) | HaskHOL.Core.Printer, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.Printer, HaskHOL.Core |
| FlagRevInterface | |
| 1 (Type/Class) | HaskHOL.Core.Printer, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.Printer, HaskHOL.Core |
| FlagTyInvWarning | |
| 1 (Type/Class) | HaskHOL.Core.Parser, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.Parser, HaskHOL.Core |
| FlagTyOpInvWarning | |
| 1 (Type/Class) | HaskHOL.Core.Parser, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.Parser, HaskHOL.Core |
| flat | HaskHOL.Core.Lib, HaskHOL.Core |
| fmap | HaskHOL.Core.Lib, HaskHOL.Core |
| foldl2 | HaskHOL.Core.Lib, HaskHOL.Core |
| foldl2M | HaskHOL.Core.Lib, HaskHOL.Core |
| foldlM | HaskHOL.Core.Lib, HaskHOL.Core |
| foldM | HaskHOL.Core.Lib, HaskHOL.Core |
| foldM_ | HaskHOL.Core.Lib, HaskHOL.Core |
| foldr1M | HaskHOL.Core.Lib, HaskHOL.Core |
| foldr2 | HaskHOL.Core.Lib, HaskHOL.Core |
| foldr2M | HaskHOL.Core.Lib, HaskHOL.Core |
| foldrM | HaskHOL.Core.Lib, HaskHOL.Core |
| followPath | HaskHOL.Core.Basics, HaskHOL.Core |
| forall | HaskHOL.Core.Lib, HaskHOL.Core |
| forall2 | HaskHOL.Core.Lib, HaskHOL.Core |
| force | HaskHOL.Core.Lib, HaskHOL.Core |
| forever | HaskHOL.Core.Lib, HaskHOL.Core |
| forM | HaskHOL.Core.Lib, HaskHOL.Core |
| forM_ | HaskHOL.Core.Lib, HaskHOL.Core |
| freeIn | HaskHOL.Core.Basics, HaskHOL.Core |
| frees | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| freesIn | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| fromJust | HaskHOL.Core.Lib, HaskHOL.Core |
| fromJustM | HaskHOL.Core.Lib, HaskHOL.Core |
| fromMaybe | HaskHOL.Core.Lib, HaskHOL.Core |
| fromRight | HaskHOL.Core.Lib, HaskHOL.Core |
| fromRightM | HaskHOL.Core.Lib, HaskHOL.Core |
| Functor | HaskHOL.Core.Lib, HaskHOL.Core |
| funpow | HaskHOL.Core.Lib, HaskHOL.Core |
| funpowM | HaskHOL.Core.Lib, HaskHOL.Core |
| gcdNum | HaskHOL.Core.Lib, HaskHOL.Core |
| genVar | HaskHOL.Core.Basics, HaskHOL.Core |
| genVarWithName | HaskHOL.Core.Basics, HaskHOL.Core |
| get | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| getAxiom | HaskHOL.Core.State, HaskHOL.Core |
| getBenignFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| getBenignFlagCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| getConst | HaskHOL.Core.Lib, HaskHOL.Core |
| getConstType | HaskHOL.Core.State, HaskHOL.Core |
| getExt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| getExtCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| getHidden | HaskHOL.Core.Parser, HaskHOL.Core |
| getInfixStatus | HaskHOL.Core.Parser, HaskHOL.Core |
| getInterface | HaskHOL.Core.Parser, HaskHOL.Core |
| getOverloads | HaskHOL.Core.Parser, HaskHOL.Core |
| getPrebrokenBinops | HaskHOL.Core.Printer, HaskHOL.Core |
| gets | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| getTypeArity | HaskHOL.Core.State, HaskHOL.Core |
| getTypeArityCtxt | HaskHOL.Core.State, HaskHOL.Core |
| getUnspacedBinops | HaskHOL.Core.Printer, HaskHOL.Core |
| getZipList | HaskHOL.Core.Lib, HaskHOL.Core |
| group' | HaskHOL.Core.Lib, HaskHOL.Core |
| guard | HaskHOL.Core.Lib, HaskHOL.Core |
| hideConstant | HaskHOL.Core.Parser, HaskHOL.Core |
| HOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| HOLContext | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| HOLException | |
| 1 (Type/Class) | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| 2 (Data Constructor) | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| HOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| HOLTerm | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| HOLTermEnv | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| holTermParser | HaskHOL.Core.Parser, HaskHOL.Core |
| HOLTermRep | HaskHOL.Core.Parser, HaskHOL.Core |
| HOLTermView | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| HOLThm | HaskHOL.Core.Kernel, HaskHOL.Core |
| HOLThmView | HaskHOL.Core.Kernel, HaskHOL.Core |
| HOLType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| HOLTypeEnv | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| holTypeParser | HaskHOL.Core.Parser, HaskHOL.Core |
| HOLTypeRep | HaskHOL.Core.Parser, HaskHOL.Core |
| HOLTypeView | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| hush | HaskHOL.Core.Lib, HaskHOL.Core |
| hyp | HaskHOL.Core.Kernel, HaskHOL.Core |
| iComb | HaskHOL.Core.Lib, HaskHOL.Core |
| index | HaskHOL.Core.Lib, HaskHOL.Core |
| Infix | HaskHOL.Core.Lib, HaskHOL.Core |
| infixes | HaskHOL.Core.Parser, HaskHOL.Core |
| initFlagValue | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| initValue | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| insert | HaskHOL.Core.Lib, HaskHOL.Core |
| insert' | HaskHOL.Core.Lib, HaskHOL.Core |
| insertMap | HaskHOL.Core.Lib, HaskHOL.Core |
| Inst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| inst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| instConst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| instConstFull | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| instFull | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| intersect | HaskHOL.Core.Lib, HaskHOL.Core |
| isAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isBinary | HaskHOL.Core.Basics, HaskHOL.Core |
| isBinder | HaskHOL.Core.Basics, HaskHOL.Core |
| isBinop | HaskHOL.Core.Basics, HaskHOL.Core |
| isComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isConj | HaskHOL.Core.Basics, HaskHOL.Core |
| isCons | HaskHOL.Core.Basics, HaskHOL.Core |
| isConst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isDisj | HaskHOL.Core.Basics, HaskHOL.Core |
| isEq | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isExists | HaskHOL.Core.Basics, HaskHOL.Core |
| isForall | HaskHOL.Core.Basics, HaskHOL.Core |
| isGAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| isImp | HaskHOL.Core.Basics, HaskHOL.Core |
| isJust | HaskHOL.Core.Lib, HaskHOL.Core |
| isLet | HaskHOL.Core.Basics, HaskHOL.Core |
| isList | HaskHOL.Core.Basics, HaskHOL.Core |
| isNeg | HaskHOL.Core.Basics, HaskHOL.Core |
| isNothing | HaskHOL.Core.Lib, HaskHOL.Core |
| isPrefix | HaskHOL.Core.Parser, HaskHOL.Core |
| isSmall | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| isTyAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isTyAll | HaskHOL.Core.Basics, HaskHOL.Core |
| isTyBinder | HaskHOL.Core.Basics, HaskHOL.Core |
| isTyComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isTyEx | HaskHOL.Core.Basics, HaskHOL.Core |
| isType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| isTypeOpVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| isUExists | HaskHOL.Core.Basics, HaskHOL.Core |
| isUType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| isVar | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| isVarType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| itlist | HaskHOL.Core.Lib, HaskHOL.Core |
| itlist2 | HaskHOL.Core.Lib, HaskHOL.Core |
| itlistM | HaskHOL.Core.Lib, HaskHOL.Core |
| join | HaskHOL.Core.Lib, HaskHOL.Core |
| Just | HaskHOL.Core.Lib, HaskHOL.Core |
| kComb | HaskHOL.Core.Lib, HaskHOL.Core |
| Lang | HaskHOL.Core.Lib, HaskHOL.Core |
| LangSeq | HaskHOL.Core.Lib, HaskHOL.Core |
| lcmNum | HaskHOL.Core.Lib, HaskHOL.Core |
| Left | HaskHOL.Core.Lib, HaskHOL.Core |
| lefts | HaskHOL.Core.Lib, HaskHOL.Core |
| Lift | HaskHOL.Core.Lib.Lift, HaskHOL.Core.Lib, HaskHOL.Core |
| liftA | HaskHOL.Core.Lib, HaskHOL.Core |
| liftA2 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftA3 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftEither | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| liftM | HaskHOL.Core.Lib, HaskHOL.Core |
| liftM1 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftM2 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftM3 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftM4 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftM5 | HaskHOL.Core.Lib, HaskHOL.Core |
| liftMaybe | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| liftO | HaskHOL.Core.Lib, HaskHOL.Core |
| LiftOption | HaskHOL.Core.Lib, HaskHOL.Core |
| liftProtected | HaskHOL.Core.Ext, HaskHOL.Core |
| liftProtectedExp | HaskHOL.Core.Ext, HaskHOL.Core |
| listMkAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkBinop | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkComb | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkConj | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkDisj | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkExists | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkForall | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkGAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| listMkIComb | HaskHOL.Core.Basics, HaskHOL.Core |
| listToMaybe | HaskHOL.Core.Lib, HaskHOL.Core |
| lookupd | HaskHOL.Core.Lib, HaskHOL.Core |
| makeOverloadable | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| many | HaskHOL.Core.Lib, HaskHOL.Core |
| map2 | HaskHOL.Core.Lib, HaskHOL.Core |
| map2M | HaskHOL.Core.Lib, HaskHOL.Core |
| mapAndUnzipM | HaskHOL.Core.Lib, HaskHOL.Core |
| mapFilter | HaskHOL.Core.Lib, HaskHOL.Core |
| mapFilterM | HaskHOL.Core.Lib, HaskHOL.Core |
| mapM | HaskHOL.Core.Lib, HaskHOL.Core |
| mapMaybe | HaskHOL.Core.Lib, HaskHOL.Core |
| mapM_ | HaskHOL.Core.Lib, HaskHOL.Core |
| Maybe | HaskHOL.Core.Lib, HaskHOL.Core |
| maybe | HaskHOL.Core.Lib, HaskHOL.Core |
| maybeToList | HaskHOL.Core.Lib, HaskHOL.Core |
| mem | HaskHOL.Core.Lib, HaskHOL.Core |
| mem' | HaskHOL.Core.Lib, HaskHOL.Core |
| merge | HaskHOL.Core.Lib, HaskHOL.Core |
| mergesort | HaskHOL.Core.Lib, HaskHOL.Core |
| mfilter | HaskHOL.Core.Lib, HaskHOL.Core |
| mkAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkArgs | HaskHOL.Core.Basics, HaskHOL.Core |
| mkBinary | HaskHOL.Core.Basics, HaskHOL.Core |
| mkBinder | HaskHOL.Core.Basics, HaskHOL.Core |
| mkBinop | HaskHOL.Core.Basics, HaskHOL.Core |
| mkComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkConj | HaskHOL.Core.Basics, HaskHOL.Core |
| mkConst | HaskHOL.Core.State, HaskHOL.Core |
| mkConstFull | HaskHOL.Core.State, HaskHOL.Core |
| mkDisj | HaskHOL.Core.Basics, HaskHOL.Core |
| mkEq | HaskHOL.Core.State, HaskHOL.Core |
| mkExists | HaskHOL.Core.Basics, HaskHOL.Core |
| mkForall | HaskHOL.Core.Basics, HaskHOL.Core |
| mkFunTy | HaskHOL.Core.State, HaskHOL.Core |
| mkGAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| mkIComb | HaskHOL.Core.Basics, HaskHOL.Core |
| mkImp | HaskHOL.Core.Basics, HaskHOL.Core |
| mkMConst | HaskHOL.Core.Basics, HaskHOL.Core |
| mkNeg | HaskHOL.Core.Basics, HaskHOL.Core |
| mkSmall | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkTyAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkTyAll | HaskHOL.Core.Basics, HaskHOL.Core |
| mkTyBinder | HaskHOL.Core.Basics, HaskHOL.Core |
| mkTyComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkTyEx | HaskHOL.Core.Basics, HaskHOL.Core |
| mkType | HaskHOL.Core.State, HaskHOL.Core |
| mkTypeOpVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkUExists | HaskHOL.Core.Basics, HaskHOL.Core |
| mkUType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkUTypes | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkVar | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| mkVarType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| modifyExt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| modifyHOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| Monad | HaskHOL.Core.Lib, HaskHOL.Core |
| MonadPlus | HaskHOL.Core.Lib, HaskHOL.Core |
| mplus | HaskHOL.Core.Lib, HaskHOL.Core |
| msum | HaskHOL.Core.Lib, HaskHOL.Core |
| mzero | HaskHOL.Core.Lib, HaskHOL.Core |
| Net | HaskHOL.Core.Basics, HaskHOL.Core |
| netEmpty | HaskHOL.Core.Basics, HaskHOL.Core |
| netEnter | HaskHOL.Core.Basics, HaskHOL.Core |
| netLookup | HaskHOL.Core.Basics, HaskHOL.Core |
| netMerge | HaskHOL.Core.Basics, HaskHOL.Core |
| newAxiom | |
| 1 (Function) | HaskHOL.Core.State |
| 2 (Function) | HaskHOL.Core |
| newBasicDefinition | |
| 1 (Function) | HaskHOL.Core.State |
| 2 (Function) | HaskHOL.Core |
| newBasicTypeDefinition | HaskHOL.Core.State, HaskHOL.Core |
| newConstant | |
| 1 (Function) | HaskHOL.Core.State |
| 2 (Function) | HaskHOL.Core |
| newDefinedConst | HaskHOL.Core.Kernel, HaskHOL.Core |
| newDefinedTypeOp | HaskHOL.Core.Kernel, HaskHOL.Core |
| newExtension | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| newFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| newHOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| newPrimConst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| newPrimTypeOp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| newType | HaskHOL.Core.State, HaskHOL.Core |
| newTypeAbbrev | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| NFData | HaskHOL.Core.Lib, HaskHOL.Core |
| Note | HaskHOL.Core.Lib, HaskHOL.Core |
| note | HaskHOL.Core.Lib, HaskHOL.Core |
| Nothing | HaskHOL.Core.Lib, HaskHOL.Core |
| nsplit | HaskHOL.Core.Lib, HaskHOL.Core |
| nsplitM | HaskHOL.Core.Lib, HaskHOL.Core |
| nub | HaskHOL.Core.Lib, HaskHOL.Core |
| num0 | HaskHOL.Core.Lib, HaskHOL.Core |
| num1 | HaskHOL.Core.Lib, HaskHOL.Core |
| num10 | HaskHOL.Core.Lib, HaskHOL.Core |
| num2 | HaskHOL.Core.Lib, HaskHOL.Core |
| numdom | HaskHOL.Core.Lib, HaskHOL.Core |
| numerator | HaskHOL.Core.Lib, HaskHOL.Core |
| numOfString | HaskHOL.Core.Lib, HaskHOL.Core |
| occursIn | HaskHOL.Core.Basics, HaskHOL.Core |
| Operator | HaskHOL.Core.Lib, HaskHOL.Core |
| OperatorTable | HaskHOL.Core.Lib, HaskHOL.Core |
| optional | HaskHOL.Core.Lib, HaskHOL.Core |
| overloadInterface | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| overrideInterface | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| pairMap | HaskHOL.Core.Lib, HaskHOL.Core |
| pairMapM | HaskHOL.Core.Lib, HaskHOL.Core |
| parseAsBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| parseAsInfix | HaskHOL.Core.Parser, HaskHOL.Core |
| parseAsPrefix | HaskHOL.Core.Parser, HaskHOL.Core |
| parseAsTyBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| parsesAsBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| parsesAsTyBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| partition | HaskHOL.Core.Lib, HaskHOL.Core |
| partitionEithers | HaskHOL.Core.Lib, HaskHOL.Core |
| PData | HaskHOL.Core.Ext, HaskHOL.Core |
| Postfix | HaskHOL.Core.Lib, HaskHOL.Core |
| pow10 | HaskHOL.Core.Lib, HaskHOL.Core |
| pow2 | HaskHOL.Core.Lib, HaskHOL.Core |
| ppTerm | HaskHOL.Core.Printer, HaskHOL.Core |
| ppThm | HaskHOL.Core.Printer, HaskHOL.Core |
| ppType | HaskHOL.Core.Printer, HaskHOL.Core |
| Prefix | HaskHOL.Core.Lib, HaskHOL.Core |
| prefixes | HaskHOL.Core.Parser, HaskHOL.Core |
| PreTerm | HaskHOL.Core.Parser, HaskHOL.Core |
| PreType | HaskHOL.Core.Parser, HaskHOL.Core |
| primABS | HaskHOL.Core.Kernel, HaskHOL.Core |
| primASSUME | HaskHOL.Core.Kernel, HaskHOL.Core |
| primBETA | HaskHOL.Core.Kernel, HaskHOL.Core |
| primDEDUCT_ANTISYM_RULE | HaskHOL.Core.Kernel, HaskHOL.Core |
| primEQ_MP | HaskHOL.Core.Kernel, HaskHOL.Core |
| primINST | HaskHOL.Core.Kernel, HaskHOL.Core |
| primINST_TYPE | HaskHOL.Core.Kernel, HaskHOL.Core |
| primINST_TYPE_FULL | HaskHOL.Core.Kernel, HaskHOL.Core |
| primMkEq | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| primMK_COMB | HaskHOL.Core.Kernel, HaskHOL.Core |
| primREFL | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTRANS | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYABS | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYAPP | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYAPP2 | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYBETA | HaskHOL.Core.Kernel, HaskHOL.Core |
| printDebug | HaskHOL.Core.State, HaskHOL.Core |
| printDebugLn | HaskHOL.Core.State, HaskHOL.Core |
| printHOL | HaskHOL.Core.Printer, HaskHOL.Core |
| prioritizeOverload | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| Proof | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| protect | HaskHOL.Core.Ext, HaskHOL.Core |
| Protected | HaskHOL.Core.Ext, HaskHOL.Core |
| proveCompileTime | HaskHOL.Core.Ext, HaskHOL.Core |
| proveCompileTimeMany | HaskHOL.Core.Ext, HaskHOL.Core |
| PTerm | HaskHOL.Core.Ext, HaskHOL.Core |
| PThm | HaskHOL.Core.Ext, HaskHOL.Core |
| PType | HaskHOL.Core.Ext, HaskHOL.Core |
| pure | HaskHOL.Core.Lib, HaskHOL.Core |
| putExt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| putStrHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| putStrLnHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| Q | HaskHOL.Core.Ext, HaskHOL.Core |
| QuasiQuoter | HaskHOL.Core.Ext, HaskHOL.Core |
| rand | HaskHOL.Core.Basics, HaskHOL.Core |
| rator | HaskHOL.Core.Basics, HaskHOL.Core |
| readHOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| reduceInterface | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| remove | HaskHOL.Core.Lib, HaskHOL.Core |
| removeInterface | HaskHOL.Core.Parser, HaskHOL.Core |
| removePrebrokenBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| removeTypeAbbrev | HaskHOL.Core.Parser, HaskHOL.Core |
| removeUnspacedBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| repeatM | HaskHOL.Core.Lib, HaskHOL.Core |
| replicateM | HaskHOL.Core.Lib, HaskHOL.Core |
| replicateM_ | HaskHOL.Core.Lib, HaskHOL.Core |
| return | HaskHOL.Core.Lib, HaskHOL.Core |
| rev | HaskHOL.Core.Lib, HaskHOL.Core |
| revAssoc | HaskHOL.Core.Lib, HaskHOL.Core |
| revAssocd | HaskHOL.Core.Lib, HaskHOL.Core |
| revItlist | HaskHOL.Core.Lib, HaskHOL.Core |
| revItlist2 | HaskHOL.Core.Lib, HaskHOL.Core |
| revLookup | HaskHOL.Core.Lib, HaskHOL.Core |
| revLookupd | HaskHOL.Core.Lib, HaskHOL.Core |
| revSplitList | HaskHOL.Core.Lib, HaskHOL.Core |
| revSplitListM | HaskHOL.Core.Lib, HaskHOL.Core |
| Right | HaskHOL.Core.Lib, HaskHOL.Core |
| rights | HaskHOL.Core.Lib, HaskHOL.Core |
| rnf | HaskHOL.Core.Lib, HaskHOL.Core |
| runHOLCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| second | HaskHOL.Core.Lib, HaskHOL.Core |
| secondM | HaskHOL.Core.Lib, HaskHOL.Core |
| sequence | HaskHOL.Core.Lib, HaskHOL.Core |
| sequence_ | HaskHOL.Core.Lib, HaskHOL.Core |
| serve | HaskHOL.Core.Ext, HaskHOL.Core |
| setBenignFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| setEq | HaskHOL.Core.Lib, HaskHOL.Core |
| setify | HaskHOL.Core.Lib, HaskHOL.Core |
| setify' | HaskHOL.Core.Lib, HaskHOL.Core |
| shareOut | HaskHOL.Core.Lib, HaskHOL.Core |
| ShowHOL | HaskHOL.Core.Printer, HaskHOL.Core |
| showHOL | HaskHOL.Core.Printer, HaskHOL.Core |
| some | HaskHOL.Core.Lib, HaskHOL.Core |
| sort | HaskHOL.Core.Lib, HaskHOL.Core |
| sortBy | HaskHOL.Core.Lib, HaskHOL.Core |
| splitList | HaskHOL.Core.Lib, HaskHOL.Core |
| splitListM | HaskHOL.Core.Lib, HaskHOL.Core |
| str | HaskHOL.Core.Ext, HaskHOL.Core |
| stripAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| stripComb | HaskHOL.Core.Basics, HaskHOL.Core |
| stripExists | HaskHOL.Core.Basics, HaskHOL.Core |
| stripForall | HaskHOL.Core.Basics, HaskHOL.Core |
| stripGAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| stripList | HaskHOL.Core.Lib, HaskHOL.Core |
| stripListM | HaskHOL.Core.Lib, HaskHOL.Core |
| stripPrefix | HaskHOL.Core.Lib, HaskHOL.Core |
| stripTyAll | HaskHOL.Core.Basics, HaskHOL.Core |
| stripTyEx | HaskHOL.Core.Basics, HaskHOL.Core |
| subset | HaskHOL.Core.Lib, HaskHOL.Core |
| subst | HaskHOL.Core.Basics, HaskHOL.Core |
| SubstTrip | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| subtract' | HaskHOL.Core.Lib, HaskHOL.Core |
| swap | HaskHOL.Core.Lib, HaskHOL.Core |
| Theory | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| Thm | HaskHOL.Core.Kernel, HaskHOL.Core |
| thmFrees | HaskHOL.Core.Basics, HaskHOL.Core |
| throwHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| tickTermCounter | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| tickTypeCounter | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| tmEq | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| toHTm | HaskHOL.Core.Parser, HaskHOL.Core |
| toHTy | HaskHOL.Core.Parser, HaskHOL.Core |
| tryFind | HaskHOL.Core.Lib, HaskHOL.Core |
| tryFoldr1 | HaskHOL.Core.Lib, HaskHOL.Core |
| tryHead | HaskHOL.Core.Lib, HaskHOL.Core |
| tryIndex | HaskHOL.Core.Lib, HaskHOL.Core |
| tryInit | HaskHOL.Core.Lib, HaskHOL.Core |
| tryLast | HaskHOL.Core.Lib, HaskHOL.Core |
| trySplitAt | HaskHOL.Core.Lib, HaskHOL.Core |
| tryTail | HaskHOL.Core.Lib, HaskHOL.Core |
| tyA | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TyAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyAConv | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyAlphaOrder | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TyApp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyApp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyB | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyBinders | HaskHOL.Core.Parser, HaskHOL.Core |
| tyBool | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TyComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyElab | HaskHOL.Core.Parser, HaskHOL.Core |
| tyOpBool | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyOpFun | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeAbbrevs | HaskHOL.Core.Parser, HaskHOL.Core |
| Typeable | HaskHOL.Core.Lib, HaskHOL.Core |
| typeMatch | HaskHOL.Core.Basics, HaskHOL.Core |
| typeOf | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TypeOp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeOpVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeOpVarsInTerm | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeOpVarsInTerms | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| types | HaskHOL.Core.State, HaskHOL.Core |
| TypeSubst | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeSubst | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeSubstFull | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeVarsInTerm | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeVarsInTerms | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeVarsInThm | HaskHOL.Core.Basics, HaskHOL.Core |
| tysubst | HaskHOL.Core.Basics, HaskHOL.Core |
| TyVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| unhideConstant | HaskHOL.Core.Parser, HaskHOL.Core |
| union | HaskHOL.Core.Lib, HaskHOL.Core |
| union' | HaskHOL.Core.Lib, HaskHOL.Core |
| unions | HaskHOL.Core.Lib, HaskHOL.Core |
| unions' | HaskHOL.Core.Lib, HaskHOL.Core |
| uniq | HaskHOL.Core.Lib, HaskHOL.Core |
| uniq' | HaskHOL.Core.Lib, HaskHOL.Core |
| unless | HaskHOL.Core.Lib, HaskHOL.Core |
| unparseAsBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| unparseAsInfix | HaskHOL.Core.Parser, HaskHOL.Core |
| unparseAsPrefix | HaskHOL.Core.Parser, HaskHOL.Core |
| unparseAsTyBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| unsetBenignFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| unwrapArrow | HaskHOL.Core.Lib, HaskHOL.Core |
| unwrapMonad | HaskHOL.Core.Lib, HaskHOL.Core |
| UType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| uTypeFromTypeOpVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| Var | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| varFreeIn | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| variant | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| variants | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| variantTyVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| variantTyVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| varSubst | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| view | HaskHOL.Core.Kernel, HaskHOL.Core |
| void | HaskHOL.Core.Lib, HaskHOL.Core |
| warn | HaskHOL.Core.State, HaskHOL.Core |
| wComb | HaskHOL.Core.Lib, HaskHOL.Core |
| when | HaskHOL.Core.Lib, HaskHOL.Core |
| WrapArrow | HaskHOL.Core.Lib, HaskHOL.Core |
| WrapMonad | HaskHOL.Core.Lib, HaskHOL.Core |
| writeHOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| zipWithM | HaskHOL.Core.Lib, HaskHOL.Core |
| zipWithM_ | HaskHOL.Core.Lib, HaskHOL.Core |
| \\ | HaskHOL.Core.Lib, HaskHOL.Core |
| _ALL | HaskHOL.Core.Lib, HaskHOL.Core |
| _CHANGED | HaskHOL.Core.Lib, HaskHOL.Core |
| _EVERY | HaskHOL.Core.Lib, HaskHOL.Core |
| _FAIL | HaskHOL.Core.Lib, HaskHOL.Core |
| _FIRST | HaskHOL.Core.Lib, HaskHOL.Core |
| _NO | HaskHOL.Core.Lib, HaskHOL.Core |
| _ORELSE | HaskHOL.Core.Lib, HaskHOL.Core |
| _REPEAT | HaskHOL.Core.Lib, HaskHOL.Core |
| _THEN | HaskHOL.Core.Lib, HaskHOL.Core |
| _TRY | HaskHOL.Core.Lib, HaskHOL.Core |