Object | HOL.OpenTheory.Article |
Objective | HOL.OpenTheory.Article |
opentheory | HOL.OpenTheory.Package |
opentheoryDirectory | HOL.OpenTheory.Package |
Operation | HOL.OpenTheory.Package |
operation | HOL.OpenTheory.Package |
ops | HOL.TypeOp |
OpType | HOL.Data |
OpTypeCommand | HOL.OpenTheory.Article |
orelse | HOL.Conv |