A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
#
$
&
+
/
<
>
\
^
|
_
All

Index - O

o
1 (Function)	FreeCAD.As
2 (Function)	LF.Framework
o1ci	THF.HasCASL2THF0Buildins
o2ci	THF.HasCASL2THF0Buildins
o3ci	THF.HasCASL2THF0Buildins
oB	ExtModal.Keywords
Obj	OMDoc.DataTypes
Object
1 (Type/Class)	FreeCAD.As
2 (Data Constructor)	Common.XPath
3 (Type/Class)	RDF.AS
4 (Data Constructor)	RDF.AS
5 (Data Constructor)	Maude.AS_Maude
6 (Type/Class)	Adl.As
7 (Data Constructor)	Adl.As
8 (Type/Class)	CSMOF.As
9 (Data Constructor)	CSMOF.As
object
1 (Function)	FreeCAD.As
2 (Function)	CSMOF.As
objectAllValuesFromK	OWL2.XMLKeywords
ObjectBit	OWL2.MS
ObjectCardinality	OWL2.AS
ObjectCharacteristics	OWL2.MS
ObjectComplementOf	OWL2.AS
objectComplementOfK	OWL2.XMLKeywords
ObjectEntity
1 (Data Constructor)	RDF.AS
2 (Data Constructor)	OWL2.MS
objectExactCardinalityK	OWL2.XMLKeywords
objectFrameBit	OWL2.ManchesterParser
ObjectHasSelf	OWL2.AS
objectHasSelfK	OWL2.XMLKeywords
ObjectHasValue	OWL2.AS
objectHasValueK	OWL2.XMLKeywords
objectIntersectionOfK	OWL2.XMLKeywords
ObjectInverseOf	OWL2.AS
objectInverseOfK	OWL2.XMLKeywords
ObjectJunction	OWL2.AS
objectK	CSMOF.XMLKeywords
ObjectLiteral	RDF.AS
objectMaxCardinalityK	OWL2.XMLKeywords
objectMinCardinalityK	OWL2.XMLKeywords
ObjectName	Taxonomy.MMiSSOntology
objectName	CSMOF.As
objectNameK	CSMOF.XMLKeywords
ObjectOneOf	OWL2.AS
objectOneOfK	OWL2.XMLKeywords
objectOwner	CSMOF.As
ObjectProp	OWL2.AS
objectProperties	OWL2.Sign
ObjectProperty
1 (Data Constructor)	OWL2.AS
2 (Type/Class)	OWL2.AS
objectPropertyAssertionK	OWL2.XMLKeywords
objectPropertyC	OWL2.ColonKeywords
objectPropertyChainK	OWL2.XMLKeywords
objectPropertyCharacter	OWL2.Parse
objectPropertyDomainK	OWL2.XMLKeywords
objectPropertyExpr	OWL2.Parse
ObjectPropertyExpression	OWL2.AS
ObjectPropertyFact	OWL2.MS
objectPropertyFrame	OWL2.ManchesterParser
objectPropertyK	OWL2.XMLKeywords
objectPropertyRangeK	OWL2.XMLKeywords
objectPropList	OWL2.XMLKeywords
objects
1 (Function)	FreeCAD.As
2 (Function)	RDF.Sign
objectSomeValuesFromK	OWL2.XMLKeywords
ObjectSubPropertyChain	OWL2.MS
ObjectTemplate
1 (Type/Class)	QVTR.As
2 (Data Constructor)	QVTR.As
ObjectTerm	RDF.AS
objectType	CSMOF.As
objectTypeK	CSMOF.XMLKeywords
objectUnionOfK	OWL2.XMLKeywords
ObjectValuesFrom	OWL2.AS
objList	FreeCAD.Translator
objListEl	FreeCAD.Translator
objListQName	FreeCAD.Translator
objProp	OWL2.Profiles
objPropExprAList	OWL2.ManchesterParser
objPropToIRI	OWL2.AS
objQName	FreeCAD.Translator
objTemp	QVTR.As
Oblique	GUI.HTkUtils
OBO	Driver.Options
oBraceT	Common.Lexer
oBracketT	Common.Lexer
observe	Common.SFKT
observerItem	COL.Parse_AS
observerS	COL.AS_COL
observers	COL.COLSign
observersS	COL.AS_COL
Observer_items	COL.AS_COL
obtainEdgeList	CMDL.Utils
obtainGoalEdgeList	CMDL.Utils
obtainNodeList	CMDL.Utils
Obv	SoftFOL.Sign
occursType	THF.Poly
OCL	QVTR.As
oclExpre	QVTR.As
oclExpreWhen	QVTR.As
octEscape	Common.Lexer
oddS	CSL.Keywords
Off	GUI.HTkUtils
offS	CSL.Keywords
offset	GUI.HTkUtils
ofS	Common.Keywords
OfType	HasCASL.As
oftypeOMS	LF.Twelf2GR
OHy	SoftFOL.Sign
Old	Comorphisms.PPolyTyConsHOL2IsaUtils
OldSimpKind	Comorphisms.PPolyTyConsHOL2IsaUtils
OMA
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
oma2exp	LF.Twelf2GR
oma2mor	LF.Twelf2GR
omaElements	OMDoc.OMDocInterface
OMap	Common.OrderedMap
OMApply	OMDoc.OMDocInterface
omaQN	LF.Twelf2GR
OMATP	OMDoc.OMDocInterface
omatp2exp	LF.Twelf2GR
omatpAttribs	OMDoc.OMDocInterface
omatpQN	LF.Twelf2GR
OMATTR	OMDoc.OMDocInterface
OMAttr	OMDoc.DataTypes
omattr2vardecl	LF.Twelf2GR
omattrATP	OMDoc.OMDocInterface
omattrElem	OMDoc.OMDocInterface
OMAttribute	OMDoc.DataTypes
OMAttribution	OMDoc.OMDocInterface
OMAttributionPart	OMDoc.OMDocInterface
omattrQN	LF.Twelf2GR
OMATTT	OMDoc.DataTypes
OMB	OMDoc.OMDocInterface
OMBase64	OMDoc.OMDocInterface
ombContent	OMDoc.OMDocInterface
OMBIND
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
OMBind	OMDoc.OMDocInterface
ombind2exp	LF.Twelf2GR
ombindBinder	OMDoc.OMDocInterface
ombindExpression	OMDoc.OMDocInterface
OMBindingVariables	OMDoc.OMDocInterface
ombindQN	LF.Twelf2GR
ombindVariables	OMDoc.OMDocInterface
OMBVAR	OMDoc.OMDocInterface
ombvar2decls	LF.Twelf2GR
ombvarQN	LF.Twelf2GR
ombvarVars	OMDoc.OMDocInterface
OMCD	OMDoc.DataTypes
OmdADT	OMDoc.DataTypes
OMDoc
1 (Type/Class)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.DataTypes
3 (Type/Class)	OMDoc.OMDocInterface
4 (Data Constructor)	OMDoc.OMDocInterface
omdocDefaultNamespace	OMDoc.OMDocInterface
omdocE	LF.Twelf2GR
omdocId	OMDoc.OMDocInterface
OmdocIn	Driver.Options
omdocInclusions	OMDoc.OMDocInterface
OMDocMathObject	OMDoc.OMDocInterface
omdocNS	LF.Twelf2GR
OmdocOut	Driver.Options
omdocQN	LF.Twelf2GR
OMDocRef	OMDoc.OMDocInterface
OMDocRefs	OMDoc.OMDocInterface
omdocTheories	OMDoc.OMDocInterface
omdocToSen
1 (Function)	CommonLogic.OMDocImport
2 (Function)	CASL.OMDocImport
3 (Function)	Logic.Logic
omdocToSym
1 (Function)	CommonLogic.OMDocImport
2 (Function)	CASL.OMDocImport
3 (Function)	Logic.Logic
omdoc_current_version	OMDoc.XmlInterface
omdoc_metatheory	Logic.Logic
OMDoc_Morphism	OMDoc.Logic_OMDoc
OMDoc_PUN
1 (Type/Class)	OMDoc.Logic_OMDoc
2 (Data Constructor)	OMDoc.Logic_OMDoc
OMDoc_Sign	OMDoc.Logic_OMDoc
OME	OMDoc.OMDocInterface
OMEA	OMDoc.OMDocInterface
OMEATTR	OMDoc.OMDocInterface
OMEB	OMDoc.OMDocInterface
OMEBIND	OMDoc.OMDocInterface
OMEC	OMDoc.OMDocInterface
OMEE	OMDoc.OMDocInterface
omeExtra	OMDoc.OMDocInterface
OMEF	OMDoc.OMDocInterface
OmegaNDCalculus	SoftFOL.MathServParsing
OMEI	OMDoc.OMDocInterface
omel2exp	LF.Twelf2GR
omel2mor	LF.Twelf2GR
OMElement
1 (Type/Class)	OMDoc.DataTypes
2 (Type/Class)	OMDoc.OMDocInterface
OMElementClass	OMDoc.OMDocInterface
omelementFrom	OMDoc.XmlInterface
omelementFromOmobj	OMDoc.XmlInterface
OMER	OMDoc.OMDocInterface
OMError	OMDoc.OMDocInterface
OMES	OMDoc.OMDocInterface
OMESTR	OMDoc.OMDocInterface
omeSymbol	OMDoc.OMDocInterface
OMEV	OMDoc.OMDocInterface
OMF	OMDoc.OMDocInterface
omfFloat	OMDoc.OMDocInterface
OMFloat	OMDoc.OMDocInterface
OMI	OMDoc.OMDocInterface
omiInt	OMDoc.OMDocInterface
OMImage	OMDoc.DataTypes
OMInteger	OMDoc.OMDocInterface
OMLegacy	OMDoc.OMDocInterface
OMMath	OMDoc.OMDocInterface
ommor2mor	LF.Twelf2GR
ommorQN	LF.Twelf2GR
OMName
1 (Type/Class)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.DataTypes
omName	OMDoc.DataTypes
omobj2exp	LF.Twelf2GR
OMObject
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
omobjQN	LF.Twelf2GR
omobjToOMElement	OMDoc.XmlInterface
OMOMOBJ	OMDoc.OMDocInterface
OMQualName	OMDoc.DataTypes
OMR	OMDoc.OMDocInterface
OMReference	OMDoc.OMDocInterface
omrHRef	OMDoc.OMDocInterface
OMS
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
oms2exp	LF.Twelf2GR
oms2mor	LF.Twelf2GR
omsCD	OMDoc.OMDocInterface
omsCDBase	OMDoc.OMDocInterface
OMSimpleVariable	OMDoc.OMDocInterface
omsName	OMDoc.OMDocInterface
omsQN	LF.Twelf2GR
OMSTR	OMDoc.OMDocInterface
OMString	OMDoc.OMDocInterface
omstrText	OMDoc.OMDocInterface
OMSymbol	OMDoc.OMDocInterface
OMV
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
omv2exp	LF.Twelf2GR
OMVA	OMDoc.OMDocInterface
OMVariable	OMDoc.OMDocInterface
OMVariableClass	OMDoc.OMDocInterface
omvName	OMDoc.OMDocInterface
omvQN	LF.Twelf2GR
OMVS	OMDoc.OMDocInterface
On	GUI.HTkUtils
once	Common.LogicT
One
1 (Data Constructor)	CASL.CompositionTable.ModelFormula
2 (Data Constructor)	ExtModal.Sublogic
oneExpTerm	CASL.Overload
OneLineMode	Common.Lib.Pretty
oneOfKeys	CSL.Parse_AS_Basic
oneOfMsg	OMDoc.XmlInterface
onlyInjConstrs	CASL.Sublogic
onlyS	OWL2.Keywords
onlysomeS	OWL2.Keywords
onS	CSL.Keywords
ontFrames	OWL2.MS
onto2Tax	OWL2.Taxonomy
OntoClass	Common.Taxonomy, Taxonomy.MMiSSOntology
ontoGraph	Taxonomy.AbstractGraphView
Ontology
1 (Type/Class)	OWL2.MS
2 (Data Constructor)	OWL2.MS
ontology	OWL2.MS
ontologyC	OWL2.ColonKeywords
OntologyDocument
1 (Type/Class)	OWL2.MS
2 (Data Constructor)	OWL2.MS
OntologyIRI	OWL2.AS
ontologyIRIK	OWL2.XMLKeywords
ontologyP	OWL2.Profiles
ontologyProfiles	OWL2.Profiles
ontologyS	Common.Keywords
ontologySign	OWL2.ProverState
OntoObject	Common.Taxonomy, Taxonomy.MMiSSOntology
OntoObjectType	Common.Taxonomy, Taxonomy.MMiSSOntology
OntoPredicate	Common.Taxonomy, Taxonomy.MMiSSOntology
OntoProperty	CASL_DL.Sign
ONTO_NAME	Syntax.AS_Structured
ONTO_OR_INTPR_REF	Syntax.AS_Structured
ONTO_REF	Syntax.AS_Structured
Oops	Isabelle.IsaSign
oopsS	Isabelle.IsaConsts
Op
1 (Data Constructor)	Maude.AS_Maude
2 (Type/Class)	CASL.CompositionTable.ModelFormula
3 (Data Constructor)	CSL.AS_BASIC_CSL
4 (Data Constructor)	HasCASL.As
oParenT
1 (Function)	CASL.CompositionTable.ParseSparQ
2 (Function)	Common.Lexer
3 (Function)	CommonLogic.Lexer_KIF
4 (Function)	CommonLogic.Lexer_CLIF
opArgs	CASL.Sign
opArity	CSL.Sign
OpAsItemType
1 (Data Constructor)	CASL.Sign
2 (Data Constructor)	HasCASL.Le
OpAttr	HasCASL.As
opAttrs	HasCASL.Le
OpBrand	HasCASL.As
opBrand	HasCASL.ParseTerm
OpDecl
1 (Type/Class)	Maude.Sign
2 (Type/Class)	CSL.AS_BASIC_CSL
3 (Data Constructor)	CSL.AS_BASIC_CSL
4 (Data Constructor)	HasCASL.As
opdecl	CSL.Parse_AS_Basic
OpDeclSet	Maude.Sign
opDeclToOp	CSL.ASUtils
OpDefn
1 (Data Constructor)	HasCASL.As
2 (Type/Class)	HasCASL.Le
opDefn	HasCASL.Le
ope2Role	OWL2.MS2Ship
Open	Logic.Prover
openComment	CMDL.DataTypes
OpenCons	CMDL.DataTypes
OpenGoals	CMDL.DataTypes
openGoalStatus	Logic.Prover
openGraphs	GUI.GraphTypes
openMathNS	LF.Twelf2GR
OpenMenuOption	GUI.UDGUtils
openProofStatus
1 (Function)	Logic.Prover
2 (Function)	GUI.GraphLogic
openReduceProofStatus	CSL.Reduce_Interface
Operator
1 (Type/Class)	Maude.AS_Maude
2 (Data Constructor)	Maude.Symbol
operatorBindInfoMap	CSL.AS_BASIC_CSL
OperatorEnv
1 (Data Constructor)	Haskell.HatParser
2 (Type/Class)	Haskell.HatParser
operatorInfo	CSL.AS_BASIC_CSL
operatorInfoMap	CSL.AS_BASIC_CSL
operatorInfoNameMap	CSL.AS_BASIC_CSL
operatorMap	CSL.Morphism
operatorS	CSL.Keywords
OperatorState	CSL.AS_BASIC_CSL
opFrame2Boxes	OWL2.MS2Ship
opFunSort	CASL.Formula
opHead	CASL.OpItem
OpHook	Maude.AS_Maude
OPID	CSL.AS_BASIC_CSL
OpId
1 (Type/Class)	Maude.AS_Maude
2 (Data Constructor)	Maude.AS_Maude
3 (Data Constructor)	CSL.AS_BASIC_CSL
opId	HasCASL.HToken
opIds	CSL.Sign
opIdToSSymbol	CASL.ToSExpr
OpInfo
1 (Type/Class)	CSL.AS_BASIC_CSL
2 (Data Constructor)	CSL.AS_BASIC_CSL
3 (Type/Class)	HasCASL.Le
4 (Data Constructor)	HasCASL.Le
OpInfoMap	CSL.AS_BASIC_CSL
OpInfoNameMap	CSL.AS_BASIC_CSL
OpItem	HasCASL.As
opItem
1 (Function)	CASL.OpItem
2 (Function)	CSL.Parse_AS_Basic
OpItems	HasCASL.As
opItems	CASL.Parse_AS_Basic
OpKind	CASL.AS_Basic_CASL
opKind	CASL.Sign
opListFrame2Boxes	OWL2.MS2Ship
OPm	SoftFOL.Sign
OpMap
1 (Type/Class)	Maude.Sign
2 (Type/Class)	Maude.Morphism
3 (Type/Class)	CASL.Sign
opMap
1 (Function)	Maude.Morphism
2 (Function)	CASL.Sign
opMapConsts	CASL.StaticAna
opMapToSExprs	CASL.ToSExpr
OPNAME	CSL.AS_BASIC_CSL
opname	CSL.AS_BASIC_CSL
opOrPredType	CASL.SymbolParser
opposite	CSMOF.As
OppositeProp	QVTR.As
oppPropName	QVTR.As
oppPropType	QVTR.As
OpRenaming1	Maude.AS_Maude
OpRenaming2	Maude.AS_Maude
opRes	CASL.Sign
opS	Common.Keywords
ops
1 (Function)	HolLight.Sign
2 (Function)	Maude.Sign
ops2predPremises	Maude.PreComorphism
ops2symbols	Maude.PreComorphism
opsInTerm	HasCASL.FoldTerm
opSort	CASL.Formula
opSorts	CASL.Sign
OpStmnt	Maude.AS_Maude
Opsym
1 (Type/Class)	CASL.Kif2CASL
2 (Data Constructor)	CASL.Kif2CASL
opSymbName	CASL.AS_Basic_CASL
opSymbs	CASL.AS_Basic_CASL
opSymOf	HasCASL.Symbol
Ops_kind	CASL.AS_Basic_CASL
optAddPrelude	Haskell.HatParser
optAnaddVarDecl	HasCASL.VarDecl
optAnnos	OWL2.ManchesterParser
optBraces	Common.DocUtils
OptimiseLayout
1 (Data Constructor)	GUI.UDGUtils
2 (Type/Class)	GUI.UDGUtils
optionalAnnos	OWL2.ManchesterParser
OptionalInfo	THF.As
optionArgs	Driver.Options
optionFlags	Driver.Options
optionL	Common.Parsec
OptionMenu	GUI.HTkUtils
options
1 (Function)	LF.Twelf2GR
2 (Function)	GUI.GraphTypes
optLibDefn	Static.DevGraph
optNot	OWL2.Parse
opToSSymbol	CASL.ToSExpr
optQueryLibPath	PGIP.Query
optQueryOrFrag	OWL2.Parse
OpTransTuple	Maude.PreComorphism
optSemi	Common.AnnoState
optSign	OWL2.Parse
optSortOfTerm	CASL.Sign
optTermSort	CASL.Sign
optVarDecls	Fpl.As
OpType
1 (Type/Class)	CASL.Sign
2 (Data Constructor)	CASL.Sign
3 (Type/Class)	CSL.Sign
4 (Data Constructor)	CSL.Sign
opType
1 (Function)	CASL.Formula
2 (Function)	HasCASL.Le
optypeFromArity	CSL.Sign
opt_pos	Common.AS_Annotation
OpUser	CSL.AS_BASIC_CSL
OpVarState
1 (Type/Class)	CSL.Parse_AS_Basic
2 (Data Constructor)	CSL.Parse_AS_Basic
OpWildcard	Maude.Symbol
OP_abs	CSL.AS_BASIC_CSL
OP_all	CSL.AS_BASIC_CSL
OP_and	CSL.AS_BASIC_CSL
OP_approx	CSL.AS_BASIC_CSL
OP_ATTR	CASL.AS_Basic_CASL
OP_convergence	CSL.AS_BASIC_CSL
OP_cos	CSL.AS_BASIC_CSL
OP_cot	CSL.AS_BASIC_CSL
Op_decl
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	CSL.AS_BASIC_CSL
Op_defn	CASL.AS_Basic_CASL
OP_div	CSL.AS_BASIC_CSL
OP_divide	CSL.AS_BASIC_CSL
OP_eq	CSL.AS_BASIC_CSL
OP_ex	CSL.AS_BASIC_CSL
OP_factor	CSL.AS_BASIC_CSL
OP_factorize	CSL.AS_BASIC_CSL
OP_failure	CSL.AS_BASIC_CSL
OP_false	CSL.AS_BASIC_CSL
OP_fthrt	CSL.AS_BASIC_CSL
OP_geq	CSL.AS_BASIC_CSL
OP_gt	CSL.AS_BASIC_CSL
OP_hastype	CSL.AS_BASIC_CSL
OP_HEAD	CASL.AS_Basic_CASL
Op_head	CASL.AS_Basic_CASL
OP_impl	CSL.AS_BASIC_CSL
OP_in	CSL.AS_BASIC_CSL
OP_int	CSL.AS_BASIC_CSL
OP_ITEM
1 (Type/Class)	CASL.AS_Basic_CASL
2 (Type/Class)	CSL.AS_BASIC_CSL
Op_item	CSL.AS_BASIC_CSL
Op_items	CASL.AS_Basic_CASL
OP_leq	CSL.AS_BASIC_CSL
OP_lt	CSL.AS_BASIC_CSL
Op_map	CASL.Morphism
op_map	CASL.Morphism
OP_max	CSL.AS_BASIC_CSL
OP_maximize	CSL.AS_BASIC_CSL
OP_maxloc	CSL.AS_BASIC_CSL
OP_min	CSL.AS_BASIC_CSL
OP_minimize	CSL.AS_BASIC_CSL
OP_minloc	CSL.AS_BASIC_CSL
OP_minus	CSL.AS_BASIC_CSL
OP_mult	CSL.AS_BASIC_CSL
OP_NAME	CASL.AS_Basic_CASL
Op_name	CASL.AS_Basic_CASL
OP_neg	CSL.AS_BASIC_CSL
OP_neq	CSL.AS_BASIC_CSL
OP_not	CSL.AS_BASIC_CSL
OP_or	CSL.AS_BASIC_CSL
OP_Pi	CSL.AS_BASIC_CSL
OP_plus	CSL.AS_BASIC_CSL
OP_pow	CSL.AS_BASIC_CSL
OP_real	CSL.AS_BASIC_CSL
OP_reldist	CSL.AS_BASIC_CSL
OP_reldistLe	CSL.AS_BASIC_CSL
OP_rlqe	CSL.AS_BASIC_CSL
OP_sign	CSL.AS_BASIC_CSL
OP_simplify	CSL.AS_BASIC_CSL
OP_sin	CSL.AS_BASIC_CSL
OP_solve	CSL.AS_BASIC_CSL
OP_sqrt	CSL.AS_BASIC_CSL
OP_SYMB	CASL.AS_Basic_CASL
OP_tan	CSL.AS_BASIC_CSL
OP_true	CSL.AS_BASIC_CSL
OP_TYPE	CASL.AS_Basic_CASL
Op_type	CASL.AS_Basic_CASL
OP_undef	CSL.AS_BASIC_CSL
OR	THF.As
OrB	QVTR.As
orConcept	OWL2.ShipSyntax
Ord1	GUI.UDGUtils
ordDoms	Isabelle.IsaConsts
order	Common.OrderedMap
orderingT	Isabelle.IsaConsts
orderS	CSL.Keywords
orDoc	Common.Doc
ordpS	CSL.Keywords
OrElse	ExtModal.AS_ExtModal
orElseS	ExtModal.Keywords
orFS	THF.HasCASL2THF0Buildins
orId	HasCASL.Builtin
orient	GUI.HTkUtils
Orientation
1 (Type/Class)	GUI.UDGUtils
2 (Type/Class)	GUI.HTkUtils
orientation	FreeCAD.As
Orig	Haskell.HatParser
orig	Isabelle.IsaSign
originType	SoftFOL.Sign
origName	Haskell.HatParser
origSort	CASL.AS_Basic_CASL
orKey	CommonLogic.Lexer_CLIF
orPT	Isabelle.IsaConsts
orS
1 (Function)	CSL.Keywords
2 (Function)	OWL2.Keywords
3 (Function)	CommonLogic.AS_CommonLogic
orSign	THF.PrintTHF
oS	OWL2.Keywords
osource
1 (Function)	RDF.Morphism
2 (Function)	OWL2.Morphism
otarget
1 (Function)	RDF.Morphism
2 (Function)	OWL2.Morphism
Other
1 (Data Constructor)	GUI.HTkUtils
2 (Data Constructor)	Isabelle.IsaSign
3 (Data Constructor)	OWL2.AS
4 (Data Constructor)	HasCASL.As
OtherGenData	SoftFOL.Sign, SoftFOL.ParseTPTP
otherKeywords	CSL.Keywords
otherStartKeywords	Common.Token
otherTypeKinds	HasCASL.Le
OTTER	SoftFOL.Sign
OtterCalc	SoftFOL.MathServParsing
OType	THF.Cons
OurGraph
1 (Type/Class)	Taxonomy.AbstractGraphView
2 (Type/Class)	GUI.GraphAbstraction
Out	VSE.As
outDG	Static.DevGraph
outdir	Driver.Options
outerRange	Common.Id
Outfix	HasCASL.PrintAs
outline	GUI.HTkUtils
outlinewidth	GUI.HTkUtils
outp	CSL.Reduce_Interface
output	CMDL.DataTypes
outputLogicGraph	Driver.Options
outputMsg	CMDL.DataTypes
outputS	CSL.Keywords
outputStr	SoftFOL.MathServParsing
outputToStdout	Driver.Options
outS	CSL.Keywords
OutType	Driver.Options
outtypes	Driver.Options
Oval	GUI.HTkUtils
Overlap	CSL.TreePO
overlapping	GUI.HTkUtils
overstrike	GUI.HTkUtils
Owise	Maude.AS_Maude
owise	Maude.AS_Maude
owiseEq2Formula	Maude.PreComorphism
owiseSen2Formula	Maude.PreComorphism
OWL2
1 (Type/Class)	OWL2.Logic_OWL2
2 (Data Constructor)	OWL2.Logic_OWL2
OWL22CASL
1 (Type/Class)	OWL2.OWL22CASL
2 (Data Constructor)	OWL2.OWL22CASL
OWL22CommonLogic
1 (Type/Class)	OWL2.OWL22CommonLogic
2 (Data Constructor)	OWL2.OWL22CommonLogic
OWL2Bool	OWL2.AS
OWL2Number	OWL2.AS
OWL2String	OWL2.AS
owlClassUri	OWL2.Parse
owlDatatypes	OWL2.Sublogic
OWLFormat	Driver.Options
OWLIn	Driver.Options
owlKeywords	OWL2.Parse
OWLMorphism
1 (Type/Class)	OWL2.Morphism
2 (Data Constructor)	OWL2.Morphism
owlNumbers	OWL2.Keywords
owlNumbersMap	OWL2.AS
OWLOut	Driver.Options
owlProverState	OWL2.ProverState
OWLSub
1 (Type/Class)	OWL2.Sublogic
2 (Data Constructor)	OWL2.Sublogic
OwlXml	Driver.Options
ownedAttribute	CSMOF.As
ownedAttributeK	CSMOF.XMLKeywords
ownedAttributeLowerK	CSMOF.XMLKeywords
ownedAttributeNameK	CSMOF.XMLKeywords
ownedAttributeOppositeK	CSMOF.XMLKeywords
ownedAttributeTypeK	CSMOF.XMLKeywords
ownedAttributeUpperK	CSMOF.XMLKeywords
O_type	CASL.AS_Basic_CASL