empty | |
1 (Function) | HOL.TypeSubst |
2 (Function) | HOL.Subst |
3 (Function) | HOL.Theory |
4 (Function) | HOL.OpenTheory.Interpret |
emptyRequires | HOL.OpenTheory.Package |
endParseInteger | HOL.Parse |
eolParser | HOL.Parse |
eq | HOL.Const |
eqMp | HOL.Thm |
EqMpCommand | HOL.OpenTheory.Article |
eqName | |
1 (Function) | HOL.Const |
2 (Function) | HOL.TypeVar |
eqVar | |
1 (Function) | HOL.TypeData |
2 (Function) | HOL.Type |
3 (Function) | HOL.TermData |
4 (Function) | HOL.Term |
ErrorParseInteger | HOL.Parse |
eval | HOL.Conv |
executeCommand | HOL.OpenTheory.Article |
existsName | HOL.Const |
existsUniqueName | HOL.Const |