hol-1.4: Higher order logic

Index - F

failHOL.Conv
File 
1 (Type/Class)HOL.OpenTheory.Package
2 (Data Constructor)HOL.OpenTheory.Package
firstGetInfoHOL.OpenTheory.Package
firstInfoHOL.OpenTheory.Package
FoldlParseIntegerHOL.Parse
forallNameHOL.Const
freeHOL.Var
freeInHOL.Var
freeInMultiple 
1 (Function)HOL.TermData
2 (Function)HOL.Term
freeInOnceHOL.Term
freshSupplyHOL.Name
fromInfoHOL.OpenTheory.Package
fromList 
1 (Function)HOL.TypeSubst
2 (Function)HOL.Subst
fromListRequiresHOL.OpenTheory.Package
fromListUnsafeHOL.Subst
fromNaturalRealNameHOL.Const
fromObjectHOL.OpenTheory.Article
fromPredicateNameHOL.Const
fromRenamesHOL.OpenTheory.Interpret
fromRenamesUnsafeHOL.OpenTheory.Interpret
fromStringHOL.Parse
fromStringUnsafeHOL.Parse
fromTextHOL.Parse
fromTextFileHOL.Parse
fromThmSetHOL.Theory
funHOL.TypeOp
functionNamespaceHOL.Name
funNameHOL.TypeOp
funpowNameHOL.Const