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 - R

Radio
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
RadioButton	GUI.HTkUtils
raise	GUI.HTkUtils
Raised	GUI.HTkUtils
raiseItem	GUI.HTkUtils
raiseTextTag	GUI.HTkUtils
raiseWin	GUI.HTkUtils
rand	HolLight.Helper
randomnewseedS	CSL.Keywords
randomS	CSL.Keywords
randRator	HolLight.Helper
Range
1 (Type/Class)	Common.Id
2 (Data Constructor)	Common.Id
range
1 (Function)	Common.Item
2 (Function)	VSE.As
rangeAttrs	Common.ToXml
rangeAttrsF	Common.ToXml
rangeC	OWL2.ColonKeywords
Ranged
1 (Type/Class)	VSE.As
2 (Data Constructor)	VSE.As
RangedLL
1 (Type/Class)	CASL.Kif
2 (Data Constructor)	CASL.Kif
rangedLL	CASL.Kif
RangedProp
1 (Type/Class)	Adl.As
2 (Data Constructor)	Adl.As
rangedToJson	Common.Json
rangeOfId	Common.Id
rangeOp	Isabelle.IsaConsts
rangeS	Isabelle.IsaConsts
RangeSection	OWL2.PrintMS
rangeSpan	Common.Id
rangeToJPair	Common.Json
rangeToList	Common.Id
rangeV	Isabelle.IsaConsts
rank	Common.Partial
rankBy	Common.Partial
rankS	CSL.Keywords
Rat
1 (Data Constructor)	CSL.AS_BASIC_CSL
2 (Data Constructor)	TPTP.AS
ratargS	CSL.Keywords
rational	Common.Lib.Pretty
rationalizeS	CSL.Keywords
rationalS
1 (Function)	CSL.Keywords
2 (Function)	OWL2.Keywords
rator	HolLight.Helper
ratrpiS	CSL.Keywords
ratS	CSL.Keywords
ratT	Isabelle.IsaConsts
RawData
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
rawId	CspCASL.Symbol
RawKind	HasCASL.As
rawKind	HasCASL.Le
rawKindOfType	HasCASL.TypeAna
RawResult	Maude.Language
RawSymb
1 (Type/Class)	OWL2.Symbols
2 (Type/Class)	RDF.Symbols
RawSymbol
1 (Type/Class)	Adl.Sign
2 (Type/Class)	CASL.Morphism
3 (Type/Class)	HasCASL.Le
RawSymbolMap
1 (Type/Class)	CASL.Morphism
2 (Type/Class)	HasCASL.Le
rawSymName
1 (Function)	CASL.Morphism
2 (Function)	HasCASL.Le
rawToKind	HasCASL.ClassAna
RAW_SYM	LF.Sign
rbrace
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
rbrack
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
rceComorphism	PGIP.ReasoningParameters
rceGoalConfig	PGIP.ReasoningParameters
rceGoalNameM	PGIP.ReasoningParameters
rceGSublogic	PGIP.ReasoningParameters
rceGTheory	PGIP.ReasoningParameters
rceNode	PGIP.ReasoningParameters
rceProverMode	PGIP.ReasoningParameters
rceReasoner	PGIP.ReasoningParameters
rceReasonerConfigurationKeyM	PGIP.ReasoningParameters
rceReasoningAttemptKeyM	PGIP.ReasoningParameters
rceTimeLimit	PGIP.ReasoningParameters
rceUseDatabase	PGIP.ReasoningParameters
RDF
1 (Type/Class)	RDF.Logic_RDF
2 (Data Constructor)	RDF.Logic_RDF
rdf	PGIP.Server.Examples
RDFEntity
1 (Type/Class)	RDF.AS
2 (Data Constructor)	RDF.AS
RDFEntityType	RDF.AS
rdfEntityType	RDF.Parse
rdfEntityTypes	RDF.AS
rdfFirst	RDF.AS
RDFIn	Driver.Options
RDFLiteral
1 (Type/Class)	RDF.AS
2 (Data Constructor)	RDF.AS
rdfMap	OWL2.AS
RDFMorphism
1 (Type/Class)	RDF.Morphism
2 (Data Constructor)	RDF.Morphism
rdfNil	RDF.AS
RDFNumberLit	RDF.AS
RDFOut	Driver.Options
rdfPlainLiteralS	OWL2.Keywords
RDFPrefixMap	RDF.AS
rdfRest	RDF.AS
rdfsLiteral	OWL2.Keywords
rdfsMap	OWL2.AS
RDFSub	RDF.Sublogic
rdfSymbItems	RDF.Parse
rdfSymbMapItems	RDF.Parse
rdfSymbPairs	RDF.Parse
rdfSymbs	RDF.Parse
RdfXml	Driver.Options
RDomain	OWL2.Sign
RDRange	OWL2.Sign
Re	Adl.As
reachable	OWL2.Sublogic
reachable'	OWL2.Sublogic
readAndAnalyse	Driver.ReadMain
readAttrVal	Common.XUpdate
readCD	OMDoc.XmlInterface
readCDName	OMDoc.XmlInterface
readCons	Static.XGraph
readContents	GUI.UDGUtils
readDbl	CSL.Parse_AS_Basic
readDGXml	Static.FromXml
readDGXmlR	Static.FromXml
readEdgeId	Static.XGraph
readEncFile	Common.IO
readFifo	Common.Utils
readFinalVSEOutput	VSE.Prove
readFormString	GUI.HTkUtils
readFormStringIO	GUI.HTkUtils
readFreeCADLib	FreeCAD.Logic_FreeCAD
readFromURL	OMDoc.Import
readInt	HolLight.HolLight2DG
readInt'	HolLight.HolLight2DG
readL	Common.SAX
readLemmas	VSE.Prove
readLib	OMDoc.Import
readLibDefn	Driver.ReadLibDefn
readMappedInt	HolLight.HolLight2DG
readMaybe	Common.Utils
readMorph	LF.MorphParser
readMorphism	LF.MorphParser
readMyMsg	VSE.Prove
readMyMsgAux	VSE.Prove
readOMName	OMDoc.XmlInterface
readOWL	OWL2.DMU2OWL2
readPacket	PGIP.XMLparsing
readParseType	HolLight.HolLight2DG
readRat	CSL.Parse_AS_Basic
readRest	VSE.Prove
readSharedHolTerm	HolLight.HolLight2DG
readSharedHolType	HolLight.HolLight2DG
readShow	Common.Amalgamate
readShowAux	Common.Amalgamate
readStr	HolLight.HolLight2DG
readTermInfo	HolLight.HolLight2DG
readTextFromFile	GUI.HTkUtils
readTkVariable	GUI.HTkUtils
readTuple	HolLight.HolLight2DG
readUntilMatchParen	VSE.Prove
readUntilMatchParenAux	VSE.Prove
readVerbose	Driver.ReadFn
readWithTag	Common.SAX
readWord	HolLight.HolLight2DG
readXmlFile	Common.XmlParser
readXPath	Static.DgUtils
readXPathComp	Static.DgUtils
read_morphism	Logic.Logic
read_sml_ATerm	ATC.Sml_cats
Real	TPTP.AS
realMorphism	Proofs.EdgeUtils
realS
1 (Function)	CSL.Keywords
2 (Function)	OWL2.Keywords
RealTy	TIP.AbsTIP
Reason
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
Reasoner
1 (Type/Class)	PGIP.GraphQL.Result.Reasoner
2 (Data Constructor)	PGIP.GraphQL.Result.Reasoner
3 (Type/Class)	Persistence.Schema
4 (Data Constructor)	Persistence.Schema
reasoner	PGIP.ReasoningParameters
ReasonerConfiguration
1 (Type/Class)	PGIP.GraphQL.Result.ReasonerConfiguration
2 (Data Constructor)	PGIP.GraphQL.Result.ReasonerConfiguration
3 (Type/Class)	Persistence.Schema
4 (Data Constructor)	Persistence.Schema
5 (Type/Class)	PGIP.ReasoningParameters
6 (Data Constructor)	PGIP.ReasoningParameters
reasonerConfiguration
1 (Function)	PGIP.GraphQL.Result.ReasoningAttempt
2 (Function)	PGIP.ReasoningParameters
ReasonerConfigurationConfiguredReasonerId	Persistence.Schema
reasonerConfigurationConfiguredReasonerId	Persistence.Schema
ReasonerConfigurationId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
ReasonerConfigurationKey	Persistence.Schema
ReasonerConfigurationTimeLimit	Persistence.Schema
reasonerConfigurationTimeLimit	Persistence.Schema
reasonerConfigurationToResult	PGIP.GraphQL.Resolver.ToResult
ReasonerDisplayName	Persistence.Schema
reasonerDisplayName	Persistence.Schema
ReasonerId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
ReasonerKey	Persistence.Schema
ReasonerKind	Persistence.Schema
reasonerKind	Persistence.Schema
ReasonerKindType	Persistence.Schema.Enums
ReasonerOutput
1 (Type/Class)	PGIP.GraphQL.Result.ReasonerOutput
2 (Data Constructor)	PGIP.GraphQL.Result.ReasonerOutput
3 (Type/Class)	Persistence.Schema
4 (Data Constructor)	Persistence.Schema
reasonerOutput	PGIP.GraphQL.Result.ReasoningAttempt
ReasonerOutputId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
ReasonerOutputKey	Persistence.Schema
ReasonerOutputReasonerId	Persistence.Schema
reasonerOutputReasonerId	Persistence.Schema
ReasonerOutputReasoningAttemptId	Persistence.Schema
reasonerOutputReasoningAttemptId	Persistence.Schema
ReasonerOutputText	Persistence.Schema
reasonerOutputText	Persistence.Schema
reasonerOutputToResult	PGIP.GraphQL.Resolver.ToResult
ReasonerSlug	Persistence.Schema
reasonerSlug	Persistence.Schema
reasonerToResult	PGIP.GraphQL.Resolver.ToResult
ReasoningAttempt
1 (Type/Class)	PGIP.GraphQL.Result.ReasoningAttempt
2 (Data Constructor)	PGIP.GraphQL.Result.ReasoningAttempt
3 (Type/Class)	Persistence.Schema
4 (Data Constructor)	Persistence.Schema
ReasoningAttemptActionId	Persistence.Schema
reasoningAttemptActionId	Persistence.Schema
ReasoningAttemptId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
ReasoningAttemptKey	Persistence.Schema
ReasoningAttemptKind	Persistence.Schema
reasoningAttemptKind	Persistence.Schema
ReasoningAttemptKindType	Persistence.Schema.Enums
ReasoningAttemptReasonerConfigurationId	Persistence.Schema
reasoningAttemptReasonerConfigurationId	Persistence.Schema
ReasoningAttemptTimeTaken	Persistence.Schema
reasoningAttemptTimeTaken	Persistence.Schema
reasoningAttemptToResult	PGIP.GraphQL.Resolver.ToResult
ReasoningAttemptUsedLogicTranslationId	Persistence.Schema
reasoningAttemptUsedLogicTranslationId	Persistence.Schema
ReasoningAttemptUsedReasonerId	Persistence.Schema
reasoningAttemptUsedReasonerId	Persistence.Schema
ReasoningCache	PGIP.ReasoningParameters
ReasoningCacheE	PGIP.ReasoningParameters
ReasoningCacheGoal
1 (Type/Class)	PGIP.ReasoningParameters
2 (Data Constructor)	PGIP.ReasoningParameters
ReasoningParameters
1 (Type/Class)	PGIP.ReasoningParameters
2 (Data Constructor)	PGIP.ReasoningParameters
rebuiltDG	Static.FromXml
rebuiltDgXml	Static.FromXml
recalculateSublogicAndSelectedTheory	Proofs.AbstractState
recalculateSublogicF	Proofs.AbstractState
recArgs	Comorphisms.HasCASL2IsabelleHOL
RecDef	Isabelle.IsaSign
receive	GUI.HTkUtils
receivedRequestBody	PGIP.Shared
receiveIO	GUI.HTkUtils
recForm	LF.Sign
Recognizer
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
recognizerName	OMDoc.OMDocInterface
recomputeNode	HetsAPI.ProveCommands
recomputeNodeLabel	Static.ComputeTheory
Record
1 (Type/Class)	CSL.Fold
2 (Data Constructor)	CSL.Fold
3 (Type/Class)	CASL.Fold
4 (Data Constructor)	CASL.Fold
recordConsistencyResult	HetsAPI.ProveCommands
recordProofResult	HetsAPI.ProveCommands
recoverSortGen	CASL.AS_Basic_CASL
recoverType	CASL.ToDoc
recover_free_Sort_gen_ax	CASL.AS_Basic_CASL
recover_Sort_gen_ax	CASL.AS_Basic_CASL
recreateSymbols	THF.Utils
Rectangle
1 (Data Constructor)	FreeCAD.As
2 (Type/Class)	GUI.HTkUtils
recurse	Driver.Options
redAppl	Comorphisms.HasCASL2IsabelleHOL
redArgs	Comorphisms.HasCASL2IsabelleHOL
rederrS	CSL.Keywords
redisplay
1 (Function)	Taxonomy.AbstractGraphView
2 (Function)	GUI.GraphAbstraction
RedoCmd	Interfaces.Command
RedoHist	Interfaces.Command
redoHistory	Static.DevGraph
redoHistStep	Static.History
redoList	Interfaces.DataTypes
redoOneStep	Interfaces.History
redoOneStepWithUpdate	Interfaces.History
redOutputToExpression	CSL.Reduce_Interface
redraw	GUI.UDGUtils
redrawPrim	GUI.UDGUtils
redStep	HasCASL.AsUtils
redTypedTerm	Comorphisms.HasCASL2THFP_P
reduceCommand	CSL.Parse_AS_Basic
reduceProcProfile	CspCASL.SignCSP
reduceProve	CSL.ReduceProve
reduceProver	CSL.ReduceProve
reduceS	CSL.Reduce_Interface
reduceSens	Logic.Prover
Reduction	Syntax.AS_Structured
reductS	CSL.Keywords
Ref	FreeCAD.As
reference	SoftFOL.Sign
refinedS	Common.Keywords
Refinement	Syntax.AS_Architecture
refinementS	Common.Keywords
reflect	Common.LogicT
reflectionOperationS	CASL.CompositionTable.Keywords
Reflectiontable
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
Reflexive	OWL2.AS
reflexive	Common.Lib.Rel
ReflexiveObjectProperty	OWL2.AS
reflexiveObjectPropertyK	OWL2.XMLKeywords
reflexiveObjectPropertyS	OWL2.ASKeywords
reflexiveS	OWL2.Keywords
reflexivityTheoremS	CspCASLProver.Consts
refLib	Static.XGraph
reflSen	Maude.PreComorphism
refNode	Static.XGraph
RefRole	OWL2.Sign
refSeqNb	PGIP.XMLstate
RefSig	Static.DevGraph
refSigComposition	Static.DevGraph
RefSigMap	Static.DevGraph
refSource	Static.DgUtils
refSpec	Syntax.Parse_AS_Architecture
RefStUnitCtx	Static.DevGraph
Reftabentry
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
reftabentryArgBaseRel	CASL.CompositionTable.CompositionTable
reftabentryReflectiveBaseRel	CASL.CompositionTable.CompositionTable
refTarget	Static.DgUtils
refToRel	Syntax.AS_Structured
refTree	Static.DevGraph
Refutation	TPTP.AS
Refute	Isabelle.IsaSign
refuteProver	THF.ProveIsabelle
refuteS	Isabelle.IsaConsts
ref_libname	Static.DevGraph
ref_node	Static.DevGraph
REF_SPEC	Syntax.AS_Architecture
Ref_spec_defn	Syntax.AS_Library
rejectS	Common.Keywords
Rel
1 (Type/Class)	Common.Lib.Rel
2 (Data Constructor)	Adl.Sign
relatedProcs	CspCASL.SignCSP
relatedSorts	CspCASL.SignCSP
RELATION	ConstraintCASL.AS_ConstraintCASL
Relation
1 (Type/Class)	Adl.As
2 (Data Constructor)	CASL.AS_Basic_CASL
3 (Type/Class)	CASL.AS_Basic_CASL
4 (Type/Class)	OWL2.AS
5 (Type/Class)	QVTR.As
6 (Data Constructor)	QVTR.As
relation	ConstraintCASL.Formula
RelationProperty	Taxonomy.MMiSSOntology
relationS	Common.Keywords
relations
1 (Function)	OWL2.Medusa
2 (Function)	QVTR.As
RelationSen
1 (Type/Class)	QVTR.Sign
2 (Data Constructor)	QVTR.Sign
RelationViewSpec	Taxonomy.AbstractGraphView
Relation_Disjunction	ConstraintCASL.AS_ConstraintCASL
RELATION_REF	Syntax.AS_Structured
relativeFrom	Common.IRI
relativeTo	Common.IRI
relativize	LF.Twelf2GR
releaseGrab	GUI.HTkUtils
relExpr	Common.XPath
Relief	GUI.HTkUtils
relief	GUI.HTkUtils
RelInvok
1 (Type/Class)	QVTR.As
2 (Data Constructor)	QVTR.As
relInvokWhen	QVTR.As
RelK	Adl.Sign
RelMap	Adl.Sign
RelName
1 (Type/Class)	Taxonomy.MMiSSOntology
2 (Data Constructor)	Logic.Logic
relName
1 (Function)	CASL.World
2 (Function)	QVTR.As
relOfMod	CASL.World
relOps	Common.XPath
relPath	Common.XPath
rels	Adl.Sign
RelScheme
1 (Type/Class)	RelationalScheme.Logic_Rel
2 (Data Constructor)	RelationalScheme.Logic_Rel
RelScheme2CASL
1 (Type/Class)	Comorphisms.RelScheme2CASL
2 (Data Constructor)	Comorphisms.RelScheme2CASL
relsent	CommonLogic.Parse_KIF
relSrc	Adl.As
relSymb	Comorphisms.CommonLogic2IsabelleHOL
relTrg	Adl.As
RelType
1 (Type/Class)	Adl.As
2 (Data Constructor)	Adl.As
relType	Adl.As
RelVar
1 (Type/Class)	QVTR.As
2 (Data Constructor)	QVTR.As
RelViewSpec	Taxonomy.AbstractGraphView
relViewSpecs	Taxonomy.AbstractGraphView
REL_REF	Logic.Logic
remainderS	CSL.Keywords
Remainder_e
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
Remainder_f
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
Remainder_t
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
remfacS	CSL.Keywords
remindS	CSL.Keywords
Remove	Common.XUpdate
removeCanvasTag	GUI.HTkUtils
removeContraryChanges	Proofs.StatusUtils
RemoveCr	Static.XSimplePath
removeDOLprefixes	Common.ConvertGlobalAnnos
removeFindLeft	Static.XSimplePath
removeIdentities	Static.WACocone
removeIns	Common.XmlDiff
removeOrChangeAttr	Static.XSimplePath
removeParensUnitaryFormula	Comorphisms.THFP2THF0
removePrfOut	Driver.Options
removeQuantifiers	QBF.Tools
removeS
1 (Function)	Common.Keywords
2 (Function)	Common.XUpdate
removeSortCycles	CASL.Cycle
removeTextTag	GUI.HTkUtils
Rename
1 (Data Constructor)	Common.XUpdate
2 (Type/Class)	CspCASL.AS_CspCASL_Process
3 (Data Constructor)	CspCASL.AS_CspCASL_Process
4 (Type/Class)	HasCASL.MapTerm
5 (Data Constructor)	OWL2.Function
reName	Common.AS_Annotation
rename
1 (Function)	Maude.PreComorphism
2 (Function)	Comorphisms.CommonLogic2IsabelleHOL
renameConstrInfo	HasCASL.MapTerm
Renamed
1 (Type/Class)	Static.DevGraph
2 (Data Constructor)	Static.DevGraph
RenameKind	CspCASL.AS_CspCASL_Process
renameLabel	Maude.Sign
renameOp	Maude.Sign
renameOpDefn	HasCASL.MapTerm
renameRec	HasCASL.MapTerm
RENAMES	Comorphisms.CommonLogic2IsabelleHOL
renameSort	Maude.Sign
RENAMING
1 (Type/Class)	CspCASL.AS_CspCASL_Process
2 (Type/Class)	Syntax.AS_Structured
Renaming
1 (Data Constructor)	CspCASL.AS_CspCASL_Process
2 (Data Constructor)	Interfaces.Command
3 (Type/Class)	Maude.AS_Maude
4 (Data Constructor)	Syntax.AS_Structured
renaming	Syntax.Parse_AS_Structured
RenamingModExp	Maude.AS_Maude
RenamingProcess	CspCASL.AS_CspCASL_Process
renamMapAnalysis	LF.Analysis
render
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Lib.Tabular
3 (Function)	TIP.PrintTIP
renderColumns	Common.Lib.Tabular
renderExtHtml	Common.Doc
renderExtText	Common.Doc
renderHLine	Common.Lib.Tabular
renderHLine'	Common.Lib.Tabular
renderHtml	Common.Doc
renderLatex	Common.PrintLaTeX
renderStyle	Common.Lib.Pretty
renderText	Common.Doc
renMorphism	CASL.World
renOpMorphism	CASL.World
renPredMorphism	CASL.World
renumberDGLinks	Static.ComputeTheory
ren_proc_close	Common.Doc
ren_proc_closeS	Common.Keywords
ren_proc_open	Common.Doc
ren_proc_openS	Common.Keywords
Reparent	GUI.HTkUtils
reparseAsId	HasCASL.AsUtils
repartS	CSL.Keywords
Repeat	CSL.AS_BASIC_CSL
repeatDelay	GUI.HTkUtils
repeatExpr	CSL.Parse_AS_Basic
repeatInterval	GUI.HTkUtils
repeatS	CSL.Keywords
replace	Common.Utils
replaceAnnoted	Common.AS_Annotation
replaceBoundVars	Comorphisms.CASL2Skolem
replaceChar	OWL2.Translate
replaceName	QVTR.ParseQvtAsLibDefn
replacePt	HolLight.Sentence
replaceVarsF	CASL.Utils
replaceVarsRec	CASL.Utils
replAlias	HasCASL.FoldType
replicateS	TIP.PrintTIP
Repository
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
RepositoryId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
RepositoryKey	Persistence.Schema
RepositoryOwnerId	Persistence.Schema
repositoryOwnerId	Persistence.Schema
ReqAxm	CMDL.DataTypes
ReqComorphism	CMDL.DataTypes
ReqConsCheck	CMDL.DataTypes
ReqFile	CMDL.DataTypes
ReqLogic	CMDL.DataTypes
ReqNodesOrEdges	CMDL.DataTypes
ReqNothing	CMDL.DataTypes
ReqNumber	CMDL.DataTypes
ReqProvers	CMDL.DataTypes
reqSubLogicForTHFP
1 (Function)	Comorphisms.THFP_P2HasCASL
2 (Function)	Comorphisms.HasCASL2THFP_P
Request
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
request	GUI.HTkUtils
requestBody'	PGIP.RequestCache
RequestCacheMap	PGIP.RequestCache
RequestMapKey
1 (Type/Class)	PGIP.RequestCache
2 (Data Constructor)	PGIP.RequestCache
requestMethod'	PGIP.RequestCache
requireAddFeatures	OWL2.Sublogic
requireComplexRoleInclusions	OWL2.Sublogic
required	PGIP.GraphQL.Result.ConservativityStatus
requiredConservativity	Static.DgUtils
requireInverseRoles	OWL2.Sublogic
requireNominals	OWL2.Sublogic
requireNumberRestrictions	OWL2.Sublogic
requirePackage	GUI.HTkUtils
requireQualNumberRestrictions	OWL2.Sublogic
requireRoleHierarchy	OWL2.Sublogic
requireRoleTransitivity	OWL2.Sublogic
requireRules	OWL2.Sublogic
requiresNode	Interfaces.Command
requireUnrestrictedDL	OWL2.Sublogic
ReqUnknown	CMDL.DataTypes
resci	THF.HasCASL2THF0Buildins
resendMsgIfTimeout	PGIP.XMLstate
reserved
1 (Function)	Common.Parsec
2 (Function)	Common.Percent
reservedcl	CommonLogic.Lexer_CLIF
reservedelement	CommonLogic.Lexer_CLIF
reservedelement2	CommonLogic.Lexer_CLIF
reservedWords	VSE.Parse
resetErrorAndProcString	CMDL.ProcessScript
resetErrorCode	CMDL.DataTypesUtils
resetPGIPData	PGIP.XMLstate
resetSelection	Proofs.AbstractState
resFS	THF.HasCASL2THF0Buildins
resId	HasCASL.Builtin
resolve
1 (Function)	HasCASL.MixAna
2 (Function)	LF.Twelf2GR
3 (Function)	PGIP.GraphQL.Resolver.SignatureMorphism
4 (Function)	PGIP.GraphQL.Resolver.Signature
5 (Function)	PGIP.GraphQL.Resolver.Serialization
6 (Function)	PGIP.GraphQL.Resolver.OMS
7 (Function)	PGIP.GraphQL.Resolver.DGraph
8 (Function)	PGIP.GraphQL.Resolver
resolveAbbreviatedIRI	RDF.StaticAnalysis
resolveBase	RDF.StaticAnalysis
resolveC_FORMULA	CoCASL.StatAna
resolved2Node	NeSyPatterns.Sign
ResolvedMixTerm	HasCASL.As
resolvedNeSyId	NeSyPatterns.Sign
ResolvedNode
1 (Type/Class)	NeSyPatterns.Sign
2 (Data Constructor)	NeSyPatterns.Sign
resolvedNodeRange	NeSyPatterns.Sign
resolveDocument	RDF.StaticAnalysis
resolvedOTerm	NeSyPatterns.Sign
resolveExtForm	ExtModal.StatAna
resolveFormula	CASL.MixfixParser
resolveFrameForm	ExtModal.StatAna
resolveFullIRI	RDF.StaticAnalysis
resolveIRI
1 (Function)	RDF.StaticAnalysis
2 (Function)	OMDoc.Import
resolveMixfix	CASL.MixfixParser
resolveMixFrm	CASL.MixfixParser
resolveMixTrm	CASL.MixfixParser
resolveMod	ExtModal.StatAna
resolveMODALITY	CoCASL.StatAna
resolveObject	RDF.StaticAnalysis
resolvePOList	RDF.StaticAnalysis
resolvePredicate	RDF.StaticAnalysis
resolvePrefix
1 (Function)	ExtModal.StatAna
2 (Function)	RDF.StaticAnalysis
resolveStatements	RDF.StaticAnalysis
resolveSubject	RDF.StaticAnalysis
resolveTerm	HasCASL.TypeCheck
resolveTriples	RDF.StaticAnalysis
resourceFile	GUI.HTkUtils
ResourceOut	SoftFOL.MathServParsing
restAxiom	CASL.CCC.TermFormula
restrict
1 (Function)	Common.Lib.MapSet
2 (Function)	Common.Lib.Rel
Restricted	Static.DevGraph
RestrictedConstraint	VSE.As
RESTRICTION	Syntax.AS_Structured
restriction
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
3 (Function)	Syntax.Parse_AS_Structured
restrictionAny
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
restrictionOrAtomic
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
RestrictionValue	OWL2.AS
restS	CSL.Keywords
resType	HasCASL.Builtin
Result
1 (Type/Class)	Common.Result
2 (Data Constructor)	Common.Result
3 (Type/Class)	GUI.HTkUtils
4 (Type/Class)	PGIP.GraphQL.Result
5 (Type/Class)	Taxonomy.AbstractGraphView
6 (Data Constructor)	Taxonomy.AbstractGraphView
result	SoftFOL.Sign
resultantS	CSL.Keywords
resultAxiom	CASL.CCC.TermFormula
resultOutput	Interfaces.GenericATPState
resultS	Common.Keywords
results	Common.AutoProofUtils
ResultT
1 (Type/Class)	Common.ResultT
2 (Data Constructor)	Common.ResultT
resultTerm	CASL.CCC.TermFormula
resultToMaybe	Common.Result
resultToMonad	Common.Result
resultToState	CASL.StaticAna
Result_defn	Syntax.AS_Library
res_OP_TYPE	CASL.AS_Basic_CASL
retExtMap	CASL.Morphism
retrieveLinkChange	Static.XSimplePath
retrieveMorph	LF.Twelf2GR
retrieveMorphH	LF.Twelf2GR
retrieveNodeChange	Static.XSimplePath
retryS	CSL.Keywords
Return	VSE.As
returnGrab	GUI.HTkUtils
returnS	CSL.Keywords
revAssocd	HolLight.Helper
Revealed	Syntax.AS_Structured
revealS	Common.Keywords
revealSym	CASL.SymbolMapAnalysis
reverse	Common.Lib.SizedList
reverseHistory	Static.History
ReverseImplication	TPTP.AS
reverseInterface	HolLight.Helper
reverseS	CSL.Keywords
revertDGEdgeTypeName	Static.DgUtils
revertRenamingOfLabels	Interfaces.GenericATPState
RevImpl	CASL.AS_Basic_CASL
revpriS	CSL.Keywords
revSortRel	CASL.Sign
revSplitlist	HolLight.Helper
revVariance	HasCASL.ClassAna
Rew	SoftFOL.Sign
rewID	Maude.PreComorphism
rewPredCong	Maude.PreComorphism
rewPredCongPremise	Maude.PreComorphism
rewPredicate	Maude.PreComorphism
rewPredicates	Maude.PreComorphism
rewPredicatesCongSens	Maude.PreComorphism
rewPredicateSens	Maude.PreComorphism
rewPredicatesSens	Maude.PreComorphism
rewPredsCong	Maude.PreComorphism
RewriteArg	THF.Poly
rewriteAtom	THF.Utils
rewriteBinaryFormula	THF.Utils
rewriteBinaryFormula'	Comorphisms.THFP2THF0
rewriteBinaryPair	THF.Utils
rewriteBinaryTuple	THF.Utils
rewriteBinaryTuple'	Comorphisms.THFP2THF0
rewriteConnTerm	THF.Utils
rewriteConst	THF.Utils
rewriteConst'	Comorphisms.THFP2THF0
rewriteConst4needsConst	THF.Poly
rewriteConst_	THF.Poly
rewriteFns	Comorphisms.THFP2THF0
RewriteFuns
1 (Type/Class)	THF.Utils
2 (Data Constructor)	THF.Utils
rewriteLogicFormula	THF.Utils
rewriteLogicFormula'	Comorphisms.THFP2THF0
rewriteQuantifiedFormula	THF.Utils
rewriteSen	Comorphisms.THFP2THF0
rewriteSen'	Comorphisms.THFP2THF0
rewriteSenFun	THF.Utils
rewriteTHF0	THF.Utils
rewriteUnitaryFormula	THF.Utils
rewriteVariableList	THF.Utils
rewriteVariableList'	Comorphisms.THFP2THF0
rewriteVariableList_	THF.Poly
rexexp	GUI.HTkUtils
rExpA	QVTR.As
rExpO	QVTR.As
rExpre	QVTR.As
Rfx	Adl.As
Rhombus	GUI.UDGUtils
rhsS	CSL.Keywords
Ri	Adl.As
ribbonsPerLine	Common.Lib.Pretty
Ridge	GUI.HTkUtils
rightArrow	Common.Keywords
RightAssoc	OMDoc.DataTypes
RightId	Maude.AS_Maude
rightId	Maude.AS_Maude
RightLabel	GUI.HTkUtils
RightLeft	GUI.UDGUtils
rightModel	CSMOF.Parser
rightMor	Static.CheckGlobalContext
rightPT	Isabelle.IsaConsts
rightSign	Static.CheckGlobalContext
rightTh	Static.CheckGlobalContext
rightTriangle	Logic.Grothendieck
right_assocS	Common.Keywords
Rigid
1 (Data Constructor)	Hybrid.AS_Hybrid
2 (Data Constructor)	Modal.AS_Modal
3 (Data Constructor)	GUI.HTkUtils
rigidOps	Hybrid.HybridSign
rigidPreds	Hybrid.HybridSign
rigidS	Common.Keywords
rigidSigItems
1 (Function)	Hybrid.Parse_AS
2 (Function)	Modal.Parse_AS
Rigid_op_items
1 (Data Constructor)	ExtModal.AS_ExtModal
2 (Data Constructor)	Hybrid.AS_Hybrid
3 (Data Constructor)	Modal.AS_Modal
Rigid_pred_items
1 (Data Constructor)	ExtModal.AS_ExtModal
2 (Data Constructor)	Hybrid.AS_Hybrid
3 (Data Constructor)	Modal.AS_Modal
RIGOR
1 (Type/Class)	Hybrid.AS_Hybrid
2 (Type/Class)	Modal.AS_Modal
rigor
1 (Function)	Hybrid.Parse_AS
2 (Function)	Modal.Parse_AS
ringBell	GUI.HTkUtils
RIO	FreeCAD.Brep
RIRange	OWL2.Sign
Rl	Maude.AS_Maude
rl2formula	Maude.PreComorphism
rlisp88S	CSL.Keywords
RlStmnt	Maude.AS_Maude
rmargin	GUI.HTkUtils
rmImplied	OWL2.Theorem
rmIsolated	Common.Lib.Graph
rmList	OWL2.Theorem
rmNullSets
1 (Function)	Common.Lib.MapSet
2 (Function)	Common.Lib.Rel
rmOrAddParts	CASL.Sign
rmOrAddPartsMap	CASL.Sign
rmQuotes
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
rmSomeTypes	HasCASL.PrintAs
rmSuffix	Driver.Options
rmTopKey	Common.Doc
rmTypeRec	HasCASL.PrintAs
rmTypesExt
1 (Function)	Modal.Logic_Modal
2 (Function)	Hybrid.Logic_Hybrid
rmTypesT	CASL.SimplifySen
Role
1 (Type/Class)	CSMOF.Sign
2 (Data Constructor)	OWL2.Sign
3 (Type/Class)	SoftFOL.Sign
roleHierarchy	OWL2.Sublogic
RoleKind	OWL2.Sign
roles	CSMOF.Sign
rolesetAddToTerm	CommonLogic.Parse_CLIF
rolesetFreeName	CommonLogic.Parse_CLIF
rolesetMixTerm	CommonLogic.Parse_CLIF
rolesetNT	CommonLogic.Parse_CLIF
rolesetSentence	CommonLogic.Parse_CLIF
rolesetTerm	CommonLogic.Parse_CLIF
roleTransitivity	OWL2.Sublogic
RoleType	OWL2.Sign
rolInfo	CSMOF.StatAna
Roman	GUI.HTkUtils
rootItem	Common.Item
rootmultS	CSL.Keywords
rotate
1 (Function)	FreeCAD.VecTools
2 (Function)	GUI.HTkUtils
Round
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
roundallS	CSL.Keywords
roundbdS	CSL.Keywords
roundedS	CSL.Keywords
roundS	CSL.Keywords
Row	GUI.HTkUtils
row
1 (Function)	Common.Lib.Tabular
2 (Function)	GUI.HTkUtils
rowH	Common.Lib.Tabular
Rowspan	GUI.HTkUtils
rowvar	CommonLogic.Lexer_KIF
rpar	Common.XPath
rparen
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
rProp	Adl.As
rps	Logic.Comorphism
rPut	OMDoc.Import
rPut2	OMDoc.Import
rPutIfVerbose	OMDoc.Import
Rr	Adl.As
RRE	SoftFOL.Sign
rs1to1	RelationalScheme.Keywords
rs1to1Id	RelationalScheme.Keywords
rs1tom	RelationalScheme.Keywords
rs1tomId	RelationalScheme.Keywords
rsannos	RelationalScheme.Sign
rsArrow	RelationalScheme.Keywords
rsArrowId	RelationalScheme.Keywords
rsBin	RelationalScheme.Keywords
RSbinary	RelationalScheme.Sign
rsBinId	RelationalScheme.Keywords
rsBool	RelationalScheme.Keywords
RSboolean	RelationalScheme.Sign
rsBoolId	RelationalScheme.Keywords
RSColumn
1 (Type/Class)	RelationalScheme.Sign
2 (Data Constructor)	RelationalScheme.Sign
RSDatatype	RelationalScheme.Sign
rsDataTypes	RelationalScheme.Keywords
RSdate	RelationalScheme.Sign
rsDate	RelationalScheme.Keywords
rsDateId	RelationalScheme.Keywords
RSdatetime	RelationalScheme.Sign
rsDatetime	RelationalScheme.Keywords
rsDatetimeId	RelationalScheme.Keywords
RSdecimal	RelationalScheme.Sign
rsDecimal	RelationalScheme.Keywords
rsDecimalId	RelationalScheme.Keywords
RSdouble	RelationalScheme.Sign
rsDouble	RelationalScheme.Keywords
rsDoubleId	RelationalScheme.Keywords
RSfloat	RelationalScheme.Sign
rsFloat	RelationalScheme.Keywords
rsFloatId	RelationalScheme.Keywords
rsInclusion	RelationalScheme.Sign
RSinteger	RelationalScheme.Sign
rsInteger	RelationalScheme.Keywords
rsIntegerId	RelationalScheme.Keywords
RSIsKey	RelationalScheme.Sign
rsKey	RelationalScheme.Keywords
rsKeyId	RelationalScheme.Keywords
rsKeyWords	RelationalScheme.Keywords
RSlong	RelationalScheme.Sign
rsLong	RelationalScheme.Keywords
rsLongId	RelationalScheme.Keywords
RSmany_to_many	RelationalScheme.AS
RSmany_to_one	RelationalScheme.AS
RSMorphism
1 (Type/Class)	RelationalScheme.Sign
2 (Data Constructor)	RelationalScheme.Sign
rsmto1	RelationalScheme.Keywords
rsmto1Id	RelationalScheme.Keywords
rsmtom	RelationalScheme.Keywords
rsmtomId	RelationalScheme.Keywords
RSnonNegInteger	RelationalScheme.Sign
rsNonNegInteger	RelationalScheme.Keywords
rsNonNegIntegerId	RelationalScheme.Keywords
RSnonPosInteger	RelationalScheme.Sign
rsNonPosInteger	RelationalScheme.Keywords
rsNonPosIntegerId	RelationalScheme.Keywords
RSO	Persistence.Schema.Enums
RSone_to_many	RelationalScheme.AS
RSone_to_one	RelationalScheme.AS
RSPointer	RelationalScheme.Sign
rsPointer	RelationalScheme.Keywords
rsPointerId	RelationalScheme.Keywords
RSQualId
1 (Type/Class)	RelationalScheme.AS
2 (Data Constructor)	RelationalScheme.AS
RSRawSymbol	RelationalScheme.Sign
RsrcIO	PGIP.Shared
RSRel
1 (Type/Class)	RelationalScheme.AS
2 (Data Constructor)	RelationalScheme.AS
RSRelationships
1 (Type/Class)	RelationalScheme.AS
2 (Data Constructor)	RelationalScheme.AS
rsRelationships	RelationalScheme.Keywords
rsRelationshipsId	RelationalScheme.Keywords
RSRelType	RelationalScheme.AS
RSScheme
1 (Type/Class)	RelationalScheme.AS
2 (Data Constructor)	RelationalScheme.AS
RSstring	RelationalScheme.Sign
rsString	RelationalScheme.Keywords
rsStringId	RelationalScheme.Keywords
RSSymbol	RelationalScheme.Sign
RSSymbolKind	RelationalScheme.Sign
RSTable
1 (Type/Class)	RelationalScheme.Sign
2 (Data Constructor)	RelationalScheme.Sign
RSTables
1 (Type/Class)	RelationalScheme.Sign
2 (Data Constructor)	RelationalScheme.Sign
rsTables	RelationalScheme.Keywords
rsTablesId	RelationalScheme.Keywords
rStar	HasCASL.AsUtils
RStext	RelationalScheme.Sign
rsText	RelationalScheme.Keywords
rsTextId	RelationalScheme.Keywords
RStime	RelationalScheme.Sign
rsTime	RelationalScheme.Keywords
rsTimeId	RelationalScheme.Keywords
RStimestamp	RelationalScheme.Sign
rsTimestamp	RelationalScheme.Keywords
rsTimestampId	RelationalScheme.Keywords
RSTMap
1 (Type/Class)	RelationalScheme.Sign
2 (Data Constructor)	RelationalScheme.Sign
rStr	QVTR.As
RTComp	Static.DevGraph
RTLeaf	Static.DgUtils
RTLeaves
1 (Type/Class)	Static.DgUtils
2 (Data Constructor)	Static.DgUtils
RTLink	Static.DevGraph
RTLinkLab	Static.DevGraph
RTLinkType	Static.DevGraph
rtl_type	Static.DevGraph
RTNodeLab
1 (Type/Class)	Static.DevGraph
2 (Data Constructor)	Static.DevGraph
RTNodeType	Static.DevGraph
RTNone	Static.DgUtils
rtn_diag	Static.DevGraph
rtn_name	Static.DevGraph
rtn_type	Static.DevGraph
RTPlain	Static.DevGraph
RTPointer	Static.DgUtils
RTRef	Static.DevGraph
RTRefine	Static.DevGraph
Rule
1 (Type/Class)	Adl.As
2 (Type/Class)	Common.Earley
3 (Type/Class)	Maude.AS_Maude
4 (Data Constructor)	Maude.Sentence
5 (Type/Class)	OWL2.AS
6 (Data Constructor)	OWL2.AS
rule
1 (Function)	QVTR.Sign
2 (Function)	Static.XGraph
ruleAppl	SoftFOL.Sign
ruleC	OWL2.ColonKeywords
RuleDef
1 (Type/Class)	QVTR.Sign
2 (Data Constructor)	QVTR.Sign
ruleDef	QVTR.Sign
RuleFrame	OWL2.PrintMS
RuleHeader
1 (Type/Class)	Adl.As
2 (Data Constructor)	Adl.As
RuleId	OWL2.PrintMS
RuleKind	Adl.As
Rules
1 (Type/Class)	Common.Earley
2 (Data Constructor)	Common.Earley
rules
1 (Function)	Common.Earley
2 (Function)	OWL2.Sublogic
RuleSection	OWL2.PrintMS
Run	CspCASL.AS_CspCASL_Process
runAndLock	GUI.GraphLogic
runDarwinProcess	SoftFOL.ProveDarwin
runM	Common.SFKT
runMaude	Maude.Shellout
runMaybeT	Common.Lib.Maybe
runMMT	Driver.Options
runMSaxState	Common.SAX
runOntoDMU	OWL2.DMU2OWL2
RunProver	Interfaces.GenericATPState
runProver	Interfaces.GenericATPState
runResultT	Common.ResultT
runS	CspCASL.CspCASL_Keywords
runState	Common.Lib.State
runSubParser	CSL.Parse_AS_Basic
RunTheProverType	TPTP.Prover.Common
runTimedHermit	OWL2.ProveHermit
runTimedPellet	OWL2.ProvePellet
runTwelf	LF.Twelf2GR
runWithVars	CSL.Parse_AS_Basic
RwCond	Maude.AS_Maude
r_annos	Common.AS_Annotation
r_lhs	RelationalScheme.AS
r_pos	RelationalScheme.AS
r_rhs	RelationalScheme.AS
r_type	RelationalScheme.AS