fail | HOL.Conv |
File | |
1 (Type/Class) | HOL.OpenTheory.Package |
2 (Data Constructor) | HOL.OpenTheory.Package |
firstGetInfo | HOL.OpenTheory.Package |
firstInfo | HOL.OpenTheory.Package |
FoldlParseInteger | HOL.Parse |
forallName | HOL.Const |
free | HOL.Var |
freeIn | HOL.Var |
freeInMultiple | |
1 (Function) | HOL.TermData |
2 (Function) | HOL.Term |
freeInOnce | HOL.Term |
freshSupply | HOL.Name |
fromInfo | HOL.OpenTheory.Package |
fromList | |
1 (Function) | HOL.TypeSubst |
2 (Function) | HOL.Subst |
fromListRequires | HOL.OpenTheory.Package |
fromListUnsafe | HOL.Subst |
fromNaturalRealName | HOL.Const |
fromObject | HOL.OpenTheory.Article |
fromPredicateName | HOL.Const |
fromRenames | HOL.OpenTheory.Interpret |
fromRenamesUnsafe | HOL.OpenTheory.Interpret |
fromString | HOL.Parse |
fromStringUnsafe | HOL.Parse |
fromText | HOL.Parse |
fromTextFile | HOL.Parse |
fromThmSet | HOL.Theory |
fun | HOL.TypeOp |
functionNamespace | HOL.Name |
funName | HOL.TypeOp |
funpowName | HOL.Const |