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

T	DFOL.AS_DFOL
T0A_Constant	THF.As
T0A_Defined_Constant	THF.As
T0A_System_Constant	THF.As
T0A_Variable	THF.As
T0BT_THF_Binary_Type_Par	THF.As
T0CT_THF_Quantifier	THF.As
T0F_THF_Typed_Const	THF.As
T0N_Unsigned_Integer	THF.As
T0QF_THF_Quantified_Novar	THF.As
T0QF_THF_Quantified_Var	THF.As
T0Q_Exists	THF.As
T0Q_ForAll	THF.As
T0Q_PiForAll	THF.As
T0Q_SigmaExists	THF.As
T0TC_THF_TypedConst_Par	THF.As
T0TC_Typed_Const	THF.As
T0TLT_Constant	THF.As
T0TLT_Defined_Type	THF.As
T0TLT_System_Type	THF.As
T0TLT_THF_Binary_Type	THF.As
T0TLT_Variable	THF.As
T0UF_THF_Abstraction	THF.As
T0UT_Constant	THF.As
T0UT_Defined_Type	THF.As
T0UT_System_Type	THF.As
T0UT_THF_Binary_Type_Par	THF.As
T0UT_Variable	THF.As
t2Term	Comorphisms.CASL2PCFOL
tab	Framework.WriteLogicUtils
Table
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
3 (Type/Class)	Common.Lib.Tabular
4 (Data Constructor)	Common.Lib.Tabular
table	RelationalScheme.AS
Table2
1 (Type/Class)	CASL.CompositionTable.ModelTable
2 (Data Constructor)	CASL.CompositionTable.ModelTable
table2Doc	CASL.CompositionTable.Pretty2
tableIdentity	CASL.CompositionTable.CompositionTable
tableName	CASL.CompositionTable.CompositionTable
tables	RelationalScheme.Sign
tableXmlStr	CASL.CompositionTable.ToXml
Table_Attrs
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
table_map	RelationalScheme.Sign
tabs
1 (Function)	OWL2.PrintMS
2 (Function)	GUI.HTkUtils
TAC	TPTP.AS
Tac	THF.As
TacticScript
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
tacticScript	Logic.Prover
tAddDecAnnAssertions	OWL2.PrintMS
tag	Common.SAX
TaggedCanvasItem	GUI.HTkUtils
tagJson	Common.Json
tagNot	GUI.HTkUtils
tags	GUI.HTkUtils
tail	Common.Lib.SizedList
tailPT	Isabelle.IsaConsts
tailType	Comorphisms.THFP_P2HasCASL
take	Common.Lib.SizedList
takeFocus	GUI.HTkUtils
takeOutSlash	CMDL.Interface
tanhS	CSL.Keywords
tAnnotation	OWL2.PrintMS
tAnnotationAxiom	OWL2.PrintMS
tAnnotationProperty	OWL2.PrintMS
tAnnotations	OWL2.PrintMS
tAnnotationSubject	OWL2.PrintMS
tAnnotationValue	OWL2.PrintMS
tanS	CSL.Keywords
target
1 (Function)	CSMOF.As
2 (Function)	CSL.Morphism
3 (Function)	CommonLogic.Morphism
4 (Function)	DFOL.Morphism
5 (Function)	Framework.AS
6 (Function)	LF.Morphism
7 (Function)	Maude.Morphism
8 (Function)	NeSyPatterns.Morphism
9 (Function)	PGIP.GraphQL.Result.DocumentLink
10 (Function)	PGIP.GraphQL.Result.Mapping
11 (Function)	PGIP.GraphQL.Result.LanguageMapping
12 (Function)	PGIP.GraphQL.Result.LogicMapping
13 (Function)	PGIP.GraphQL.Result.SymbolMapping
14 (Function)	PGIP.GraphQL.Result.SignatureMorphism
15 (Function)	Propositional.Morphism
16 (Function)	QBF.Morphism
17 (Function)	Static.XGraph
18 (Function)	Temporal.Morphism
targetComorphism	Logic.Modification
targetDomain	QVTR.As
TargetIndividual	OWL2.AS
targetLogic	Logic.Comorphism
targetMetamodel	QVTR.As
targetPattern	QVTR.Sign
targetRole	CSMOF.Sign
targetS	Common.Keywords
targetSign	QVTR.Sign
targetSublogic	Logic.Comorphism
targetType	CSMOF.Sign
TargetValue	OWL2.AS
targetVar	CSMOF.Sign
tAssertion	OWL2.PrintMS
tAtom	OWL2.PrintMS
tAtoms	OWL2.PrintMS
TAttr	Isabelle.IsaSign
TAttribute	Common.XPath
TAU	TPTP.AS
Tau	THF.As
tauSigma	Logic.Modification
TautologousConclusion	SoftFOL.MathServParsing
Tautology
1 (Data Constructor)	SoftFOL.MathServParsing
2 (Data Constructor)	TPTP.AS
tAxiom	OWL2.PrintMS
tAxioms	OWL2.PrintMS
TaxoGraphKind	Common.Taxonomy
Taxonomy	Interfaces.Command
TA_Defined_Plain_Formula	THF.As
TA_Defined_Type	THF.As
TA_System_Atomic_Formula	THF.As
TA_System_Type	THF.As
TA_Term	THF.As
TA_THF_Conn_Term	THF.As
TBF_THF_Binary_Pair	THF.As
TBF_THF_Binary_Tuple	THF.As
TBF_THF_Binary_Type	THF.As
TBT_THF_And_Formula	THF.As
TBT_THF_Apply_Formula	THF.As
TBT_THF_Mapping_Type	THF.As
TBT_THF_Or_Formula	THF.As
TBT_THF_Union_Type	THF.As
TBT_THF_Xprod_Type	THF.As
TCA	TPTP.AS
Tca	THF.As
TCADT	OMDoc.DataTypes
TCClassification	OMDoc.Import
TCClf	OMDoc.Import
TCComment	OMDoc.DataTypes
TCElement	OMDoc.DataTypes
TCFF_atom	TPTP.AS
TCFF_logic	TPTP.AS
TCFlexibleNotation	OMDoc.DataTypes
TCFLF_cnf	TPTP.AS
TCFLF_quantified	TPTP.AS
TCF_annotated
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TCF_formula	TPTP.AS
TCF_logic_formula	TPTP.AS
TCF_quantified	TPTP.AS
TCF_quantified_formula	TPTP.AS
TCImport	OMDoc.DataTypes
tClassAxiom	OWL2.PrintMS
tClassExpression	OWL2.PrintMS
tClassExpressions	OWL2.PrintMS
TCMorphism	OMDoc.DataTypes
tcName	OMDoc.DataTypes
TCNotation	OMDoc.DataTypes
TCon	Isabelle.IsaSign
TCorOMElement	OMDoc.DataTypes
tcross	GUI.HTkUtils
TCSmartNotation	OMDoc.DataTypes
TCSymbol	OMDoc.DataTypes
TCT_Assoc_Connective	THF.As
TCT_THF_Pair_Connective	THF.As
TCT_THF_Unary_Connective	THF.As
tDataArg	OWL2.PrintMS
tDataPropertyAxiom	OWL2.PrintMS
tDataPropertyExpression	OWL2.PrintMS
tDataPropertyExpressions	OWL2.PrintMS
tDataRange	OWL2.PrintMS
tDatatype	OWL2.PrintMS
tDatatypeDefinition	OWL2.PrintMS
tDeclaration	OWL2.PrintMS
TElement	Common.XPath
template
1 (Function)	Persistence.DBConfig
2 (Function)	QVTR.As
templateList	QVTR.As
Temporal
1 (Type/Class)	Temporal.Logic_Temporal
2 (Data Constructor)	Temporal.Logic_Temporal
tEntity	OWL2.PrintMS
Ter	SoftFOL.Sign
TERM
1 (Type/Class)	CASL.AS_Basic_CASL
2 (Type/Class)	CommonLogic.AS_CommonLogic
3 (Type/Class)	DFOL.AS_DFOL
Term
1 (Type/Class)	CASL.CompositionTable.ModelFormula
2 (Type/Class)	HasCASL.As
3 (Type/Class)	HolLight.Term
4 (Data Constructor)	Isabelle.IsaSign
5 (Type/Class)	Isabelle.IsaSign
6 (Type/Class)	Maude.AS_Maude
7 (Type/Class)	RDF.AS
8 (Type/Class)	THF.As
term
1 (Function)	CASL.Formula
2 (Function)	CommonLogic.Parse_KIF
3 (Function)	CommonLogic.Parse_CLIF
4 (Function)	HasCASL.ParseTerm
5 (Function)	HolLight.Sentence
6 (Function)	Comorphisms.HasCASL2IsabelleHOL
termAppl	Isabelle.IsaConsts
termDeclTerm	SoftFOL.Sign
termDeclTermList	SoftFOL.Sign
TermEvent	CspCASL.AS_CspCASL_Process
TermExt	Fpl.As
TermExtension	CASL.Sign
termFlatForm	DFOL.AS_DFOL
termHasNoArg	Comorphisms.HasCASL2IsabelleHOL
TermHook	Maude.AS_Maude
termId	Isabelle.IsaSign
terminatingKeywords	Common.Token
terminationProof	CASL.CCC.TerminationProof
termInParens	HasCASL.ParseTerm
termIsVar	Comorphisms.HasCASL2IsabelleHOL
TermMap	Maude.AS_Maude
TermMod	ExtModal.AS_ExtModal
termModies
1 (Function)	Hybrid.HybridSign
2 (Function)	Modal.ModalSign
termMods	ExtModal.ExtModalSign
termName	Isabelle.IsaSign
TermParser	Common.AnnoState
termParser	Common.AnnoState
termRecForm	DFOL.AS_DFOL
termS	Common.Keywords
termseq	CommonLogic.Parse_CLIF
termToFormula	CASL.Sign
TermToken	HasCASL.As
termToken	HasCASL.ParseTerm
termTransl	DFOL.Comorphism
termType	Isabelle.IsaSign
TermWsList	SoftFOL.Sign
term_fun_cmt	CommonLogic.Parse_CLIF
Term_mod
1 (Data Constructor)	CoCASL.AS_CoCASL
2 (Data Constructor)	Hybrid.AS_Hybrid
3 (Data Constructor)	Modal.AS_Modal
Term_mod_decl
1 (Data Constructor)	Hybrid.AS_Hybrid
2 (Data Constructor)	Modal.AS_Modal
TERM_SEQ	CommonLogic.AS_CommonLogic
Term_seq	CommonLogic.AS_CommonLogic
TEST
1 (Data Constructor)	Persistence.Schema.MappingOrigin
2 (Data Constructor)	Static.DevGraph
test
1 (Function)	Common.GraphAlgo
2 (Function)	Persistence.DBConfig
test1	Common.GraphAlgo
testAndInteg	OWL2.Rename
Testing	Logic.Logic
testParse
1 (Function)	RelationalScheme.ParseRS
2 (Function)	VSE.Parse
test_graph	Common.GraphAlgo
TEXT	CommonLogic.AS_CommonLogic
Text
1 (Data Constructor)	Common.XPath
2 (Data Constructor)	CommonLogic.AS_CommonLogic
3 (Type/Class)	FreeCAD.Logic_FreeCAD
4 (Data Constructor)	FreeCAD.Logic_FreeCAD
5 (Type/Class)	DMU.Logic_DMU
6 (Data Constructor)	DMU.Logic_DMU
text
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
3 (Function)	CommonLogic.Parse_CLIF
4 (Function)	PGIP.GraphQL.Result.ReasonerOutput
5 (Function)	PGIP.GraphQL.Result.Conjecture
6 (Function)	PGIP.GraphQL.Result.Axiom
7 (Function)	GUI.HTkUtils
textC	PGIP.Output.Mime
TextComp	OMDoc.DataTypes
TextDetails	Common.Lib.Pretty
textIri	CommonLogic.AS_CommonLogic
TextItem	GUI.HTkUtils
textS	Common.XUpdate
TextTag	GUI.HTkUtils
textToAn	CommonLogic.Parse_CLIF
textView	GUI.GtkUtils
textViewExt	GUI.GtkUtils
TEXT_META	CommonLogic.AS_CommonLogic
Text_meta	CommonLogic.AS_CommonLogic
TF1_quantified_type
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF	TPTP.Sublogic
TFFAT_constant	TPTP.AS
TFFAT_defined	TPTP.AS
TFFAT_functor	TPTP.AS
TFFAT_variable	TPTP.AS
TFFBA_and	TPTP.AS
TFFBA_or	TPTP.AS
TFFBF_assoc	TPTP.AS
TFFBF_nonassoc	TPTP.AS
TFFF_atom	TPTP.AS
TFFF_logic	TPTP.AS
TFFF_sequent	TPTP.AS
TFFLFB_binding	TPTP.AS
TFFLFB_plain	TPTP.AS
TFFLFD_binding	TPTP.AS
TFFLFD_many	TPTP.AS
TFFLFD_single	TPTP.AS
TFFLFD_variable	TPTP.AS
TFFLF_binary	TPTP.AS
TFFLF_subtype	TPTP.AS
TFFLF_unitary	TPTP.AS
TFFLTB_binding	TPTP.AS
TFFLTB_plain	TPTP.AS
TFFLTD_binding	TPTP.AS
TFFLTD_many	TPTP.AS
TFFLTD_single	TPTP.AS
TFFLTD_variable	TPTP.AS
TFFLT_formula	TPTP.AS
TFFLT_term	TPTP.AS
TFFMT_atomic	TPTP.AS
TFFMT_mapping	TPTP.AS
TFFPredicateMap	TPTP.Sign
tffPredicateMap	TPTP.Sign
TFFSubTypeMap	TPTP.Sign
tffSubtypeMap	TPTP.Sign
TFFS_parens	TPTP.AS
TFFS_plain	TPTP.AS
TFFTA_parens	TPTP.AS
TFFTA_plain	TPTP.AS
TFFTLT_atomic	TPTP.AS
TFFTLT_mapping	TPTP.AS
TFFTLT_parens	TPTP.AS
TFFTLT_quantified	TPTP.AS
TFFTypeConstantMap	TPTP.Sign
tffTypeConstantMap	TPTP.Sign
TFFTypeDeclarationMap	TPTP.Sign
tffTypeDeclarationMap	TPTP.Sign
TFFTypeFunctorMap	TPTP.Sign
tffTypeFunctorMap	TPTP.Sign
TFFUF_atomic	TPTP.AS
TFFUF_conditional	TPTP.AS
TFFUF_connective	TPTP.AS
TFFUF_infix	TPTP.AS
TFFUF_let	TPTP.AS
TFFUF_logic	TPTP.AS
TFFUF_quantified	TPTP.AS
TFFUF_unary	TPTP.AS
TFFUT_atomic	TPTP.AS
TFFUT_xprod	TPTP.AS
TFFV_typed	TPTP.AS
TFFV_variable	TPTP.AS
TFF_and_formula	TPTP.AS
TFF_annotated
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_atomic_formula	TPTP.AS
TFF_atomic_type	TPTP.AS
TFF_binary_assoc	TPTP.AS
TFF_binary_formula	TPTP.AS
TFF_binary_nonassoc
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_conditional
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_conditional_term
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_formula	TPTP.AS
TFF_formula_tuple
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_formula_tuple_list	TPTP.AS
TFF_let	TPTP.AS
TFF_let_formula_binding	TPTP.AS
TFF_let_formula_defn	TPTP.AS
TFF_let_formula_defns
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_let_formula_list	TPTP.AS
TFF_let_term	TPTP.AS
TFF_let_term_binding	TPTP.AS
TFF_let_term_defn	TPTP.AS
TFF_let_term_defns
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_let_term_list	TPTP.AS
TFF_logic_formula	TPTP.AS
TFF_mapping_type
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_monotype	TPTP.AS
TFF_or_formula	TPTP.AS
TFF_quantified_formula
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_sequent	TPTP.AS
TFF_subtype
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_top_level_type	TPTP.AS
TFF_typed_atom	TPTP.AS
TFF_typed_variable
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFF_type_arguments	TPTP.AS
TFF_unary_formula	TPTP.AS
TFF_unitary_formula	TPTP.AS
TFF_unitary_type	TPTP.AS
TFF_variable	TPTP.AS
TFF_variable_list	TPTP.AS
TFF_xprod_type
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFree
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
tFreeName	Isabelle.IsaExport
TFree_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
TFun	Isabelle.IsaSign
TFXF_logic	TPTP.AS
TFXF_sequent	TPTP.AS
TFXLF_binary	TPTP.AS
TFXLF_subtype	TPTP.AS
TFXLF_typed	TPTP.AS
TFXLF_unitary	TPTP.AS
TFX_annotated
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TFX_formula	TPTP.AS
TFX_logic_formula	TPTP.AS
TF_THF_Logic_Formula	THF.As
TF_THF_Sequent	THF.As
TH0_DefiniteDescription	TPTP.AS
TH0_IndefiniteDescription	TPTP.AS
TH0_LambdaBinder	TPTP.AS
TH0_quantifier	TPTP.AS
TH1_DependentProduct	TPTP.AS
TH1_DependentSum	TPTP.AS
TH1_PiDefiniteDescription	TPTP.AS
TH1_PiEquality	TPTP.AS
TH1_PiForAll	TPTP.AS
TH1_PiIndefiniteDescription	TPTP.AS
TH1_PiSigmaExists	TPTP.AS
TH1_quantifier	TPTP.AS
TH1_unary_connective	TPTP.AS
thAna	TopHybrid.StatAna
tHasKey	OWL2.PrintMS
thatKey	CommonLogic.Lexer_CLIF
thatS	OWL2.Keywords
thatSymb	Comorphisms.CommonLogic2IsabelleHOL
That_term	CommonLogic.AS_CommonLogic
thBasic	TopHybrid.Parse_AS
theGraph	Taxonomy.AbstractGraphView
thenEvent	GUI.HTkUtils
thenGetEvent	GUI.HTkUtils
thenId	Isabelle.IsaSign
thenS	Common.Keywords
Theorem
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	Persistence.Schema.Enums
3 (Data Constructor)	SoftFOL.MathServParsing
4 (Data Constructor)	SoftFOL.Sign
5 (Data Constructor)	THF.As
6 (Data Constructor)	TPTP.AS
theoremHideShift
1 (Function)	Proofs.SimpleTheoremHideShift
2 (Function)	Proofs.TheoremHideShift
3 (Function)	HetsAPI.Commands, HetsAPI
theoremHideShiftFromList	Proofs.TheoremHideShift
theoremS	Isabelle.IsaConsts
theoremsS	Isabelle.IsaConsts
theoremsToAxioms	Static.ComputeTheory
Theory
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	Logic.Prover
3 (Data Constructor)	Logic.Prover
4 (Type/Class)	OMDoc.OMDocInterface
5 (Data Constructor)	OMDoc.OMDocInterface
6 (Type/Class)	TPTP.AS
7 (Data Constructor)	TPTP.AS
8 (Data Constructor)	PGIP.Query
theoryComment	OMDoc.OMDocInterface
theoryConfiguration	Interfaces.GenericATPState
theoryConstitutives	OMDoc.OMDocInterface
TheoryFile	Driver.Options
TheoryHead
1 (Type/Class)	Isabelle.IsaParse
2 (Data Constructor)	Isabelle.IsaParse
theoryId	OMDoc.OMDocInterface
TheoryInclusion	OMDoc.OMDocInterface
TheoryMorphism
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
TheoryName	THF.As
theoryName
1 (Function)	Isabelle.IsaSign
2 (Function)	Proofs.AbstractState
theoryname	Isabelle.IsaParse
TheoryPointer	HetsAPI.DataTypes
theoryPresentations	OMDoc.OMDocInterface
theoryQN	LF.Twelf2GR
theoryS	Isabelle.IsaConsts
TheorySentence	HetsAPI.DataTypes
theorySentenceBestProof	HetsAPI.InfoCommands
TheorySentenceByName	HetsAPI.DataTypes
theorySentenceContent	HetsAPI.InfoCommands
theorySentenceGetTheoremStatus	HetsAPI.InfoCommands
theorySentenceIsAxiom	HetsAPI.InfoCommands
theorySentenceIsDefined	HetsAPI.InfoCommands
theorySentencePriority	HetsAPI.InfoCommands
theorySentenceWasTheorem	HetsAPI.InfoCommands
theoryTransl	DFOL.Comorphism
Theory_name	TPTP.AS
theory_to_taxonomy	Logic.Logic
THF
1 (Data Constructor)	THF.Sublogic
2 (Data Constructor)	TPTP.Sublogic
3 (Type/Class)	THF.Logic_THF
4 (Data Constructor)	THF.Logic_THF
tHF	THF.Sublogic
THF0	THF.Sublogic
tHF0	THF.Sublogic
tHF0_P	THF.Sublogic
THFAtom	THF.As
thfAxioms	THF.ProverState
THFBF_pair	TPTP.AS
THFBF_tuple	TPTP.AS
THFBinaryFormula	THF.As
THFBinaryTuple	THF.As
THFBinaryType	THF.As
THFBT_and	TPTP.AS
THFBT_apply	TPTP.AS
THFBT_mapping	TPTP.AS
THFBT_or	TPTP.AS
THFBT_union	TPTP.AS
THFBT_xprod	TPTP.AS
THFConnTerm	THF.As
THFCoreSl	THF.Sublogic
THFC_assoc	TPTP.AS
THFC_pair	TPTP.AS
THFC_unary	TPTP.AS
THFFormula	THF.As
thfFormulaAF	THF.As
THFF_atom	TPTP.AS
THFF_defined	TPTP.AS
THFF_functor	TPTP.AS
THFF_logic	TPTP.AS
THFF_sequent	TPTP.AS
THFF_system	TPTP.AS
THFLDL_constant	TPTP.AS
THFLDL_functor	TPTP.AS
THFLDL_tuple	TPTP.AS
THFLD_many	TPTP.AS
THFLD_plain	TPTP.AS
THFLD_quantified	TPTP.AS
THFLD_single	TPTP.AS
THFLF_binary	TPTP.AS
THFLF_subtype	TPTP.AS
THFLF_type	TPTP.AS
THFLF_unitary	TPTP.AS
THFLogicFormula	THF.As
THFP	THF.Sublogic
tHFP	THF.Sublogic
THFP2THF0
1 (Type/Class)	Comorphisms.THFP2THF0
2 (Data Constructor)	Comorphisms.THFP2THF0
THFPairConnective	THF.As
THFPC_binary	TPTP.AS
THFPredicateMap	TPTP.Sign
thfPredicateMap	TPTP.Sign
tHFP_P	THF.Sublogic
THFP_P2HasCASL
1 (Type/Class)	Comorphisms.THFP_P2HasCASL
2 (Data Constructor)	Comorphisms.THFP_P2HasCASL
THFP_P2THFP
1 (Type/Class)	Comorphisms.THFP_P2THFP
2 (Data Constructor)	Comorphisms.THFP_P2THFP
THFQuantifiedFormula	THF.As
THFQuantifier	THF.As
THFQ_fof	TPTP.AS
THFQ_th0	TPTP.AS
THFQ_th1	TPTP.AS
THFSequent	THF.As
THFSl
1 (Type/Class)	THF.Sublogic
2 (Data Constructor)	THF.Sublogic
THFSubType	THF.As
THFSubTypeMap	TPTP.Sign
thfSubtypeMap	TPTP.Sign
THFS_parens	TPTP.AS
THFS_plain	TPTP.AS
THFTF_atom	TPTP.AS
THFTF_constant	TPTP.AS
THFTF_logic	TPTP.AS
THFTF_typeable	TPTP.AS
THFTLT_mapping	TPTP.AS
THFTLT_unitary	TPTP.AS
THFTopLevelType	THF.As
thfTopLevelTypeToType	THF.Utils
THFTuple	THF.As
THFTypeable	TPTP.Sign
THFTypeableFormula	THF.As
THFTypeConstant	TPTP.Sign
THFTypeConstantMap	TPTP.Sign
thfTypeConstantMap	TPTP.Sign
THFTypedConst	THF.As
THFTypeDeclarationMap	TPTP.Sign
thfTypeDeclarationMap	TPTP.Sign
THFTypeFormula
1 (Type/Class)	THF.As
2 (Data Constructor)	TPTP.Sign
THFTypeFunctorMap	TPTP.Sign
thfTypeFunctorMap	TPTP.Sign
THFUC_th1	TPTP.AS
THFUC_unary	TPTP.AS
THFUF_atom	TPTP.AS
THFUF_conditional	TPTP.AS
THFUF_let	TPTP.AS
THFUF_logic	TPTP.AS
THFUF_quantified	TPTP.AS
THFUF_tuple	TPTP.AS
THFUF_unary	TPTP.AS
THFUnaryConnective	THF.As
THFUnitaryFormula	THF.As
THFUnitaryType	THF.As
THFUT_binary	TPTP.AS
THFUT_unitary	TPTP.AS
THFVariable	THF.As
THFVariableList	THF.As
THFV_typed	TPTP.AS
THFV_variable	TPTP.AS
THF_and_formula	TPTP.AS
THF_annotated
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_apply_formula	TPTP.AS
THF_arguments	TPTP.AS
THF_assignment	TPTP.AS
THF_atom	TPTP.AS
THF_atom_conn	TPTP.AS
THF_atom_defined	TPTP.AS
THF_atom_function	TPTP.AS
THF_atom_variable	TPTP.AS
THF_binary_formula	TPTP.AS
THF_binary_pair
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_binary_tuple	TPTP.AS
THF_binary_type	TPTP.AS
THF_conditional
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_conn_term	TPTP.AS
THF_Formula	THF.As
THF_formula	TPTP.AS
THF_formula_list	TPTP.AS
THF_function	TPTP.AS
THF_infix_equality	TPTP.AS
THF_let
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_let_defn	TPTP.AS
THF_let_defns	TPTP.AS
THF_let_defn_LHS	TPTP.AS
THF_let_defn_list	TPTP.AS
THF_let_plain_defn
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_let_quantified_defn
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_logic_formula	TPTP.AS
THF_mapping_type	TPTP.AS
THF_or_formula	TPTP.AS
tHF_P	THF.Sublogic
THF_pair_connective	TPTP.AS
THF_quantification
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_quantified_formula
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_quantifier	TPTP.AS
THF_sequent	TPTP.AS
THF_subtype
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_top_level_type	TPTP.AS
THF_tuple
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_typeable_formula	TPTP.AS
THF_typed_variable
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_type_formula	TPTP.AS
THF_unary_connective	TPTP.AS
THF_unary_formula
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
THF_union_type	TPTP.AS
THF_unitary_formula	TPTP.AS
THF_unitary_type	TPTP.AS
THF_variable	TPTP.AS
THF_variable_list	TPTP.AS
THF_xprod_type	TPTP.AS
Thick	GUI.UDGUtils
ThId
1 (Type/Class)	Static.GTheory
2 (Data Constructor)	Static.GTheory
thing	CASL_DL.PredefinedCASLAxioms
thingMap	OWL2.AS
thingS	OWL2.Keywords
third
1 (Function)	CSMOF.Parser
2 (Function)	QVTR.StatAna
thirdS	CSL.Keywords
THM
1 (Data Constructor)	Persistence.Schema.Enums
2 (Data Constructor)	TPTP.AS
Thm	THF.As
thMap	Static.DevGraph
thMapI	Static.DevGraph
thmEdgeType	Static.DgUtils
ThmFreeShift	Interfaces.Command
ThmHideShift	Interfaces.Command
thmHideShift	Proofs.SimpleTheoremHideShift
ThmLink	Static.DgUtils
thmLinks	Static.XGraph
ThmLinkStatus	Static.DgUtils
thmLinkStatus	Static.DevGraph
thmProof	Isabelle.IsaSign
thmProofBasis	Static.DevGraph
thmScope	Static.DgUtils
ThmStatus
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
thmStatus	Logic.Prover
ThmType	Static.DgUtils
ThmTypes	Static.DgUtils
thName	Proofs.VSE
ThreeTAP	SoftFOL.Sign
threeVars	CASL.StaticAna
throwAnnoError	CASL_DL.Sign
ThrowError	Taxonomy.MMiSSOntology
ThSens	Logic.Prover
thSpec	TopHybrid.Parse_AS
Thy
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
THybridSign
1 (Type/Class)	TopHybrid.TopHybridSign
2 (Data Constructor)	TopHybrid.TopHybridSign
ThyFile	Driver.Options
thyHeader	Isabelle.IsaExport
ThyIn	Driver.Options
thyName	Isabelle.IsaExport
Thy_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
TH_BASIC_ITEM	TopHybrid.AS_TopHybrid
TH_BSPEC	TopHybrid.AS_TopHybrid
TH_FORMULA	TopHybrid.AS_TopHybrid
time	SoftFOL.MathServParsing
timedout	Common.AutoProofUtils
TimeLimit	Interfaces.Command
timeLimit
1 (Function)	Interfaces.GenericATPState
2 (Function)	PGIP.GraphQL.Result.ReasonerConfiguration
3 (Function)	PGIP.ReasoningParameters
timeLimitExceeded	Interfaces.GenericATPState
timeMods	ExtModal.ExtModalSign
timeOfDayToSeconds	Common.Timing
Timeout
1 (Data Constructor)	Persistence.Schema.ConsistencyStatusType
2 (Data Constructor)	SoftFOL.MathServParsing
timeoutCommand	Common.Utils
timeoutReadPacket	PGIP.XMLparsing
timeoutSecs	Common.Utils
timeResource	SoftFOL.MathServParsing
Times	GUI.HTkUtils
timeS
1 (Function)	CSL.Keywords
2 (Function)	ExtModal.Keywords
timesS
1 (Function)	CSL.Keywords
2 (Function)	Common.Keywords
3 (Function)	Isabelle.IsaConsts
timesV	Isabelle.IsaConsts
timeTaken	PGIP.GraphQL.Result.ReasoningAttempt
timeUsed	Interfaces.GenericATPState
tIndividual	OWL2.PrintMS
tIndividualArg	OWL2.PrintMS
tIndividuals	OWL2.PrintMS
tipAxiom	CASL.ToTIP
tipConstructor	CASL.ToTIP
tipDatatype	CASL.ToTIP
tipFORMULA	CASL.ToTIP
tipJunctor	CASL.ToTIP
tipOP_NAME	CASL.ToTIP
tipOP_SYMB	CASL.ToTIP
tipPredVAR	CASL.ToTIP
tipPredVAR_DECL	CASL.ToTIP
tipPRED_NAME	CASL.ToTIP
tipPRED_SYMB	CASL.ToTIP
tipProfile	CASL.ToTIP
tipQUANTIFIER	CASL.ToTIP
TIPQuirk	TIP.Prover.Common
TIPQuirks	TIP.Prover.Common
tipRelation	CASL.ToTIP
tipSelector	CASL.ToTIP
tipSign	CASL.ToTIP
tipSOFORMULA	CASL.ToTIP
tipSORT	CASL.ToTIP
tipSOTERM	CASL.ToTIP
tipVAR	CASL.ToTIP
tipVAR_DECL	CASL.ToTIP
Tk	GUI.HTkUtils
TkCommand
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
tkGetToplevelConfig	GUI.HTkUtils
tkSetToplevelConfigs	GUI.HTkUtils
TkVariable
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
TLElement	OMDoc.DataTypes
TLF_THF_Binary_Formula	THF.As
TLF_THF_Sub_Type	THF.As
TLF_THF_Type_Formula	THF.As
TLF_THF_Unitary_Formula	THF.As
tLift	Isabelle.IsaConsts
tLiteral	OWL2.PrintMS
TLTheory	OMDoc.DataTypes
TLView	OMDoc.DataTypes
Tm	Adl.As
TMet	Isabelle.IsaSign
tMorphism	Logic.Prover
tmpV	THF.Poly
tmTransClosS	ExtModal.Keywords
TName	Isabelle.IsaSign
tName	Isabelle.IsaSign
TNamespace	Common.XPath
TN_ac	TPTP.AS
TN_equality	TPTP.AS
To	Maude.AS_Maude
toAbsoluteURI	LF.Twelf2GR
toAItem	Common.Item
toAItemWithA	Common.Item
toAnno	CASL.Kif2CASL
toAnnos	Common.AnnoState
toAttr	TIP.Utils
toAxioms	Proofs.AbstractState
toBinJunctor	HasCASL.Builtin
toBitMap	GUI.HTkUtils
tObjectPropertyAxiom	OWL2.PrintMS
tObjectPropertyExpression	OWL2.PrintMS
tObjectPropertyExpressions	OWL2.PrintMS
toC	OWL2.CASL2OWL
toChanSymbol	CspCASL.Symbol
toChar	Common.ConvertLiteral
toClass	CSMOF.Parser
tocm	GUI.HTkUtils
toCmpTbl	CASL.CompositionTable.ModelTable
toColour	GUI.HTkUtils
toComboBoxText	GUI.GtkUtils
toConstraint	THF.Poly
toConTab	CASL.CompositionTable.ModelTable
toConTab2	CASL.CompositionTable.ModelTable
toConTables	CASL.CompositionTable.ModelTable
toCoSortGenAx	CoCASL.StatAna
toCursor	GUI.HTkUtils
toDataPat	HasCASL.DataAna
toDecl	OWL2.Extract
toDocAsAS	OWL2.Pretty
toDocAsMS	OWL2.Pretty
toDocAsXML	OWL2.Pretty
toDouble	GUI.HTkUtils
toEitherLeftMap	THF.Sign
toElement	OMDoc.OMDocInterface
toElimConst	CSL.ASUtils
toEnv	Adl.StatAna
toEnvState	HasCASL.Unify
toEvent	GUI.HTkUtils
ToExpr	Common.Earley
toFloat	Common.ConvertLiteral
toFont	GUI.HTkUtils
toFrac	Common.ConvertLiteral
toFraction	CSL.AS_BASIC_CSL
toFunType	HasCASL.AsUtils
toFunTypeRange	HasCASL.AsUtils
Toggle	GUI.HTkUtils
toggle	GUI.HTkUtils
toggleHideEdges	GUI.GraphLogic
toggleHideNames	GUI.GraphLogic
toggleHideNodes	GUI.GraphLogic
togglePending	Static.History
toGtkGoal	Common.GtkGoal
toGtkGoals	Common.AutoProofUtils
toGUIValue	GUI.HTkUtils
toG_morphism	Logic.Grothendieck
toHCType	Comorphisms.THFP_P2HasCASL
toId
1 (Function)	CASL.Kif2CASL
2 (Function)	DFOL.Symbol
3 (Function)	Maude.Symbol
4 (Function)	THF.Utils
toinch	GUI.HTkUtils
toInstance	CSMOF.Sign
toIRI	OMDoc.Import
toIriCD	OMDoc.Import
toIsaProof	Isabelle.IsaSign
toIT	Common.Item
toItem	Logic.Logic
toitem	Common.Item
ToJson	Common.Json
toJson
1 (Function)	Common.Json
2 (Function)	PGIP.GraphQL.Result
Token
1 (Type/Class)	Common.Id
2 (Data Constructor)	Common.Id
token2id	Maude.PreComorphism
tokenMap2NodeMap	NeSyPatterns.Morphism
TokenMode	HasCASL.ParseTerm
tokenPattern	HasCASL.ParseTerm
tokenRange	Common.Id
tokenS	OWL2.Keywords
toKey	Common.Lexer
toKind	HasCASL.AsUtils
tokPos	Common.Id
TokRules	Common.Earley
tokStart	Common.Token
tokStr	Common.Id
tokToIRI	OWL2.Propositional2OWL2
toLatex	Common.Doc
toLatexAux	Common.Doc
ToLeft	GUI.HTkUtils
tolerance	Persistence.Reasoning.PremiseSelectionSInE
toLibName	LF.Twelf2GR
toList
1 (Function)	Common.Lib.MapSet
2 (Function)	Common.Lib.Rel
3 (Function)	Common.Lib.SizedList
4 (Function)	Common.OrderedMap
toListC	HasCASL.Constrain
toLiteral	SoftFOL.Sign
toMap
1 (Function)	Common.Lib.MapSet
2 (Function)	Common.Lib.Rel
toMaybeNode	Static.ArchDiagram
toMixfixList	Common.ConvertLiteral
toMixTerm	HasCASL.MixAna
toMixType	HasCASL.PrintAs
toMonadWithError	GUI.HTkUtils
toNamed	Logic.Prover
toNamedList	Logic.Prover
toNameMap	DFOL.Symbol
toNumber	Common.ConvertLiteral
toO	OWL2.CASL2OWL
tooltip	GUI.HTkUtils
toOMDoc	LF.Twelf2GR
toOmobj	OMDoc.XmlInterface
toOperator	Maude.Symbol
toOpType	CASL.Sign
toOP_TYPE	CASL.Sign
Top
1 (Data Constructor)	HolLight.Sublogic
2 (Data Constructor)	GUI.HTkUtils
top
1 (Function)	CASL.Sublogic
2 (Function)	CommonLogic.Sublogic
3 (Function)	Propositional.Sublogic
4 (Function)	QBF.Sublogic
5 (Function)	QVTR.As
6 (Function)	QVTR.Sign
7 (Function)	Logic.Logic
8 (Function)	TPTP.Sublogic
toPairList	Common.Lib.MapSet
ToPartRenaming	Maude.AS_Maude
topDataProp	OWL2.Keywords
topDataProperty	OWL2.AS
TopDown	GUI.UDGUtils
TopElem	Static.XSimplePath
topIdOfAxiom	CASL.CCC.TermFormula
topIdOfTerm	CASL.CCC.TermFormula
topKey	Common.Doc
TopLabel	GUI.HTkUtils
Toplevel
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
topLevelSentence	CommonLogic.Parse_KIF
topLogic	HasCASL.Sublogic
topMix1	Common.Token
topMix2	Common.Token
topMix3	Common.Token
topObjectProperty	OWL2.AS
topObjProp	OWL2.Keywords
topParser	TopHybrid.Parse_AS
topProfile	OWL2.Profiles
toPrecMap	Common.Lib.Rel
toPredType	CASL.Sign
toPRED_TYPE	CASL.Sign
topRelations	QVTR.Sign
toProcSymbol	CspCASL.Symbol
toProdType	HasCASL.AsUtils
toProperty	CSMOF.Parser
topS	OWL2.ProfilesAndSublogics
topSigKey	Common.Doc
topSort
1 (Function)	Common.Lib.Rel
2 (Function)	Isabelle.IsaConsts
topsortedLibsWithImports	Static.DgUtils
topsortedNodes	Static.DevGraph
top_sublogic	Logic.Logic
toQN
1 (Function)	LF.Twelf2GR
2 (Function)	OMDoc.XmlInterface
toQName	OWL2.ColimSign
toQNOM	OMDoc.XmlInterface
toQualVar	CASL.AS_Basic_CASL
toQuant	Comorphisms.CASL2HasCASL
toRange	Common.Id
toRaw	HasCASL.AsUtils
toRawSymbol	CspCASL.Symbol
toRelativeURI	LF.Twelf2GR
ToRight	GUI.HTkUtils
Torus	FreeCAD.As
toS	Common.Keywords
toSchemes	HasCASL.Unify
toSentence	Comorphisms.CASL2HasCASL
toSet	Common.Lib.Rel
toShATermLG	ATC.Grothendieck
toShATermLG'	ATC.Grothendieck
toShATermString	Driver.WriteLibDefn
toSId	CASL.Kif2CASL
toSimpleSource	GUI.UDGUtils
toSingular	CSL.TreePO
toSingularD	CSL.TreePO
toSnakeCase	Common.Utils
toSortGenAx	CASL.StaticAna
toSortGenNamed	CASL.Sign
toSource	GUI.UDGUtils
toString	Common.ConvertLiteral
toSubClass	OWL2.CASL2OWL
toSubRel	CSMOF.Sign
toSym	LF.Sign
toSymbol	TIP.Utils
toSymbolSet	CspCASL.Symbol
toSymMap	DFOL.Symbol
Tot	Adl.As
toTable	Common.AS_Annotation
toTable2	CASL.CompositionTable.ModelTable
Total
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	HasCASL.As
TOTALDIGITS	OWL2.Keywords
totalFuns	HasCASL.Sublogic
Totality	OMDoc.DataTypes
totality	CASL.Sublogic
totalizeConstraint	Comorphisms.CASL2SubCFOL
totalizeOpSymb	Comorphisms.CASL2SubCFOL
totalizeSymbType	Comorphisms.CASL2SubCFOL
totalOrder	Common.Partial
toTerm	Comorphisms.CASL2HasCASL
toTermMap	DFOL.Morphism
toThSens	Logic.Prover
toTkString	GUI.HTkUtils
toToken	THF.Utils
TotOp	CspCASL.AS_CspCASL_Process
toTuple	Comorphisms.THFP2THF0
toTwelf	LF.Twelf2GR
toType
1 (Function)	CSMOF.Parser
2 (Function)	CSMOF.Sign
3 (Function)	HasCASL.AsUtils
4 (Function)	Maude.Symbol
toTypeClass	CSMOF.StatAna
toTypePattern	HasCASL.ConvertTypePattern
toVar	CASL.Kif2CASL
toVarDecl
1 (Function)	Comorphisms.CASL2HasCASL
2 (Function)	VSE.As
toVariable	OMDoc.OMDocInterface
toWithError	GUI.HTkUtils
ToXml	Common.ToXml
toXml	OMDoc.XmlInterface
To_int
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
To_rat
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
To_real
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
tp2DTyp	Comorphisms.HolLight2Isabelle
tp2Typ	Comorphisms.HolLight2Isabelle
TPI_annotated
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
TPI_formula	TPTP.AS
tpS	CSL.Keywords
TPTP
1 (Type/Class)	SoftFOL.Sign
2 (Type/Class)	TPTP.AS
3 (Data Constructor)	TPTP.AS
4 (Type/Class)	TPTP.Logic_TPTP
5 (Data Constructor)	TPTP.Logic_TPTP
tptp
1 (Function)	PGIP.Server.Examples
2 (Function)	SoftFOL.ParseTPTP
TPTPFile	Driver.Options
TPTPIn	Driver.Options
tptpModel	SoftFOL.ParseTPTP
TPTPProblem	SoftFOL.MathServParsing
tptpProvers	SoftFOL.ProveDarwin
tptpProverState	TPTP.Prover.ProverState
TPTP_Comment	THF.As
TPTP_comment	TPTP.AS
TPTP_Defined_Comment	THF.As
TPTP_defined_comment	TPTP.AS
TPTP_false	TPTP.AS
TPTP_functor	TPTP.AS
TPTP_Header	THF.As
TPTP_Include	THF.As
TPTP_include	TPTP.AS
TPTP_input	TPTP.AS
TPTP_System_Comment	THF.As
TPTP_system_comment	TPTP.AS
TPTP_THF	THF.As
TPTP_THF_Annotated_Formula	THF.As
TPTP_true	TPTP.AS
TQF_THF_Quantified_Formula	THF.As
TQ_Definite_Description	THF.As
TQ_Dependent_Product	THF.As
TQ_Dependent_Sum	THF.As
TQ_Exists	THF.As
TQ_ForAll	THF.As
TQ_Indefinite_Description	THF.As
TQ_Lambda_Binder	THF.As
Trace
1 (Type/Class)	CspCASL.Logic_CspCASL
2 (Data Constructor)	CspCASL.Logic_CspCASL
traceCspCASL	CspCASL.Logic_CspCASL
traceS	CSL.Keywords
traceSimpleSource	GUI.UDGUtils
traceSource	GUI.UDGUtils
tractableSubsetsS	CASL.CompositionTable.Keywords
trailing	CMDL.ParseProofScript
trailingAnnosParser	Common.AnnoState
transAltDefn	Comorphisms.HasCASL2IsabelleHOL
transAppl	Comorphisms.HasCASL2IsabelleHOL
transApplOp	Comorphisms.HasCASL2IsabelleHOL
transApplTerm	Comorphisms.HasCASL2THFP_P
transArgs	Comorphisms.CommonLogic2IsabelleHOL
transArgsSimple	Comorphisms.CommonLogic2IsabelleHOL
transAssumpId	THF.Translate
transAssumps	Comorphisms.HasCASL2THFP_P
transAssumpsId	THF.Translate
transBinaryFormula	Comorphisms.THFP_P2HasCASL
transCaseAlt	Comorphisms.HasCASL2IsabelleHOL
TransClos	ExtModal.AS_ExtModal
transClosure	Common.Lib.Rel
transConst'	Comorphisms.THFP2THF0
transConstS	Comorphisms.HolLight2Isabelle
transConstStringT	Isabelle.Translate
transDataEntry	Comorphisms.HasCASL2IsabelleHOL
transDatatype	Comorphisms.HasCASL2IsabelleHOL
transfName	QVTR.As
Transformation
1 (Type/Class)	QVTR.As
2 (Data Constructor)	QVTR.As
transFORMULA	Comorphisms.CFOL2IsabelleHOL
transFormula	Comorphisms.THFP_P2HasCASL
transGenVatDecl	Comorphisms.HasCASL2THFP_P
transId
1 (Function)	SoftFOL.Translate
2 (Function)	TPTP.Translate
Transitive	OWL2.AS
TransitiveObjectProperty	OWL2.AS
transitiveObjectPropertyK	OWL2.XMLKeywords
transitiveObjectPropertyS	OWL2.ASKeywords
transitiveS	OWL2.Keywords
transitivityS	CspCASLProver.Consts
transLamdaTerm	Comorphisms.HasCASL2THFP_P
Translatable	DFOL.AS_DFOL
Translate	PGIP.Query
translate
1 (Function)	DFOL.AS_DFOL
2 (Function)	LF.Morphism
translate'	FreeCAD.Translator
translateByGName	Static.FromXmlUtils
TranslatedTheory	Interfaces.Command
translateGraph	GUI.GraphLogic
translateG_theory	Static.GTheory
translateOpDecl	Maude.PreComorphism
translateOpDecl'	Maude.PreComorphism
translateOpDeclSet	Maude.PreComorphism
translateOpDeclSet'	Maude.PreComorphism
translateOpMapEntry	Maude.PreComorphism
translateOps	Maude.PreComorphism
translateOps'	Maude.PreComorphism
translateSen	HasCASL.ProgEq
translateSentence	Maude.Morphism
translateSorts	Maude.Morphism
translateTerm	Comorphisms.HolLight2Isabelle
translateTheory	HetsAPI.Commands
translateTheoryOfNode	GUI.GraphLogic
Translation	Syntax.AS_Structured
translation	PGIP.ReasoningParameters
translationList	Syntax.Parse_AS_Structured
translMapAnalysis	LF.Analysis
transLog	Comorphisms.HasCASL2IsabelleHOL
TransMap	Comorphisms.THFP2THF0
transNamed	Comorphisms.CommonLogic2IsabelleHOL
transNamedFormula	Comorphisms.THFP_P2HasCASL
transNamedSentence	Comorphisms.HasCASL2THFP_P
transNameOrSeqmark	Comorphisms.CommonLogic2IsabelleHOL
transNames	Driver.Options
transOpId	Comorphisms.HasCASL2IsabelleHOL
transOpInfo	Comorphisms.HasCASL2IsabelleHOL
transOpSymb	Comorphisms.CFOL2IsabelleHOL
transOpType	Comorphisms.HasCASL2IsabelleHOL
transPat	Comorphisms.HasCASL2IsabelleHOL
transPattern	Comorphisms.HasCASL2IsabelleHOL
transPhrase	Comorphisms.CommonLogic2IsabelleHOL
transpose
1 (Function)	Common.Lib.MapSet
2 (Function)	Common.Lib.Rel
transProcess	CspCASLProver.TransProcesses
transProgEq	Comorphisms.HasCASL2IsabelleHOL
transQualOp	Comorphisms.HasCASL2THFP_P
transQuantifiedTerm	Comorphisms.HasCASL2THFP_P
transRawKind	Comorphisms.HasCASL2THFP_P
transRecord
1 (Function)	Comorphisms.CFOL2IsabelleHOL
2 (Function)	Comorphisms.CASL2HasCASL
transReduce	Common.Lib.Rel
transSchemaMFormula	Modal.ModalSystems
transSen
1 (Function)	Maude.PreComorphism
2 (Function)	Comorphisms.CommonLogic2IsabelleHOL
TransSenName	Interfaces.GenericATPState
transSenName
1 (Function)	Propositional.ProverState
2 (Function)	QBF.ProverState
3 (Function)	SoftFOL.Translate
4 (Function)	TPTP.Translate
transSentence
1 (Function)	Comorphisms.PPolyTyConsHOL2IsaUtils
2 (Function)	Comorphisms.HasCASL2IsabelleHOL
transSignature	Comorphisms.HasCASL2IsabelleHOL
transSort	Comorphisms.CFOL2IsabelleHOL
transString
1 (Function)	Common.SExpr
2 (Function)	Isabelle.Translate
3 (Function)	OWL2.Translate
transSymbol
1 (Function)	Comorphisms.THFP_P2HasCASL
2 (Function)	Comorphisms.HasCASL2THFP_P
transTerm
1 (Function)	Comorphisms.HasCASL2THFP_P
2 (Function)	Comorphisms.HasCASL2IsabelleHOL
3 (Function)	Comorphisms.CommonLogic2IsabelleHOL
transTermSeq	Comorphisms.CommonLogic2IsabelleHOL
transText	Comorphisms.CommonLogic2IsabelleHOL
transTextMeta	Comorphisms.CommonLogic2IsabelleHOL
transTheory
1 (Function)	Comorphisms.THFP_P2HasCASL
2 (Function)	Comorphisms.HasCASL2THFP_P
3 (Function)	Comorphisms.CFOL2IsabelleHOL
transToken
1 (Function)	Common.SExpr
2 (Function)	Comorphisms.THFP2THF0
transTotalLambda	Comorphisms.HasCASL2IsabelleHOL
transToTHFString	THF.Translate
transToTHFStringAux	THF.Translate
transType
1 (Function)	Comorphisms.HasCASL2THFP_P
2 (Function)	Comorphisms.HasCASL2IsabelleHOL
transTypeArg	Comorphisms.HasCASL2IsabelleHOL
transTypeId	THF.Translate
transTypeInfo	Comorphisms.HasCASL2THFP_P
transTypeMap	Comorphisms.HasCASL2THFP_P
transTypeStringT	Isabelle.Translate
transUnitaryFormula	Comorphisms.THFP_P2HasCASL
transVar
1 (Function)	Comorphisms.HasCASL2IsabelleHOL
2 (Function)	Comorphisms.CFOL2IsabelleHOL
transVarDecl	Comorphisms.HasCASL2THFP_P
transVarId	THF.Translate
transWhenElse	Comorphisms.HasCASL2IsabelleHOL
trans_theory
1 (Function)	Comorphisms.THFP_P2THFP
2 (Function)	Comorphisms.THFP2THF0
traS	CSL.Keywords
treatFormula	Comorphisms.CASL2SubCFOL
treatNodeLock	Static.DevGraph
treeLevels	HolLight.HolLight2DG
trfacS	CSL.Keywords
trForm	Propositional.Prop2CASLHelpers
Triangle	GUI.UDGUtils
TriangleCons	Interfaces.Command
triangleCons
1 (Function)	Proofs.TriangleCons
2 (Function)	HetsAPI.Commands, HetsAPI
triangleConsDG	Proofs.TriangleCons
triangleConsRule	Proofs.TriangleCons
trId	Comorphisms.CASL2HasCASL
trigformS	CSL.Keywords
trim	Common.Utils
trimLeft	Common.Utils
trimRight	Common.Utils
trintS	CSL.Keywords
Triple	GUI.HTkUtils
tripleDecodeOMS	OMDoc.XmlInterface
tripleEncodeOMS	OMDoc.XmlInterface
Triples
1 (Type/Class)	RDF.AS
2 (Data Constructor)	RDF.AS
triplesOfDocument	RDF.AS
trMor	Propositional.Prop2CASLHelpers
Trn	Adl.As
trNamedForm	Propositional.Prop2CASLHelpers
Trough1	GUI.HTkUtils
Trough2	GUI.HTkUtils
true	Isabelle.IsaConsts
TrueA	TopHybrid.AS_TopHybrid
TrueAtom	QBF.AS_BASIC_QBF
trueC
1 (Function)	Fpl.Sign
2 (Function)	CASL.Logic_CASL
TrueColour	GUI.HTkUtils
truefalseFormula	CSL.Parse_AS_Basic
trueForm	CASL.AS_Basic_CASL
trueFS	THF.HasCASL2THF0Buildins
trueId	HasCASL.Builtin
truePrec	DFOL.Utils
truePT	Isabelle.IsaConsts
trueS	Common.Keywords
trueT	CASL_DL.PredefinedCASLAxioms
trueTerm	CASL.Kif2CASL
True_atom	Propositional.AS_BASIC_Propositional
tRule	OWL2.PrintMS
Truncate
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
truncDec	OWL2.AS
try	GUI.HTkUtils
tryEV	GUI.HTkUtils
tryItemEnd	Common.AnnoState
tryLockLocal	Static.DevGraph
trySemi	Common.AnnoState
trySemiOrComma	Common.AnnoState
tryString	Common.Parsec
tryToGetEdge	Proofs.EdgeUtils
tryToStripPrefix	Common.Utils
tryUntilOK	GUI.HTkUtils
tS	CSL.Keywords
tsExtraOpts	Interfaces.GenericATPState
tsig	Isabelle.IsaSign
tSource	Logic.Prover
tsTimeLimit	Interfaces.GenericATPState
TstpCnfRefutation	SoftFOL.MathServParsing
TST_THF_Sub_Type	THF.As
TS_THF_Sequent	THF.As
TS_THF_Sequent_Par	THF.As
tTarget	Logic.Prover
ttConservativityChecker	Propositional.ProveWithTruthTable
ttConsistencyChecker	Propositional.ProveWithTruthTable
TTF_THF_Typed_Const	THF.As
TTF_THF_Type_Formula	THF.As
TTLT_THF_Logic_Formula	THF.As
tToken	HasCASL.ParseTerm
ttProver	Propositional.ProveWithTruthTable
TTyF_THF_Atom	THF.As
TTyF_THF_Logic_Formula	THF.As
TTyF_THF_Tuple	THF.As
TType
1 (Data Constructor)	CSMOF.As
2 (Data Constructor)	THF.Cons
3 (Data Constructor)	TPTP.AS
TTypedElement	CSMOF.As
TUF_THF_Atom	THF.As
TUF_THF_Conditional	THF.As
TUF_THF_Logic_Formula_Par	THF.As
TUF_THF_Quantified_Formula	THF.As
TUF_THF_Tuple	THF.As
TUF_THF_Unary_Formula	THF.As
Tuple	Comorphisms.HasCASL2IsabelleHOL
tupleId	Common.Earley
TupleTerm	HasCASL.As
Tuplex	Isabelle.IsaSign
Turtle	Driver.Options
TurtleDocument
1 (Type/Class)	RDF.AS
2 (Data Constructor)	RDF.AS
TUT_THF_Unitary_Formula	THF.As
TVar
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
tVarIndex	Isabelle.IsaExport
tVarName	Isabelle.IsaExport
TVar_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
TV_THF_Typed_Variable	THF.As
TV_Variable	THF.As
twelf	LF.Twelf2GR
twelf2GR	LF.Twelf2GR
twelf2SigMor	LF.Twelf2GR
twelfDeclChars	Common.Keywords
twelfE	LF.Twelf2GR
twelfEnv	LF.Twelf2GR
TwelfIn	Driver.Options
twelfMultDeclChars	Common.Keywords
twelfSymChars	Common.Keywords
TWL	SoftFOL.Sign
tx1	CommonLogic.PredefinedCASLAxioms
tx2	CommonLogic.PredefinedCASLAxioms
ty1	CommonLogic.PredefinedCASLAxioms
ty2	CommonLogic.PredefinedCASLAxioms
TyApp
1 (Data Constructor)	HolLight.Term
2 (Data Constructor)	TIP.AbsTIP
Typ
1 (Type/Class)	Isabelle.IsaSign
2 (Data Constructor)	OMDoc.DataTypes
typ	Isabelle.IsaSign
TYPE
1 (Type/Class)	CASL.AS_Basic_CASL
2 (Type/Class)	DFOL.AS_DFOL
Type
1 (Type/Class)	CSMOF.As
2 (Data Constructor)	CSMOF.As
3 (Type/Class)	HasCASL.As
4 (Type/Class)	Isabelle.IsaExport
5 (Data Constructor)	Isabelle.IsaExport
6 (Data Constructor)	Isabelle.IsaSign
7 (Data Constructor)	LF.Sign
8 (Type/Class)	Maude.AS_Maude
9 (Type/Class)	OMDoc.OMDocInterface
10 (Data Constructor)	OMDoc.OMDocInterface
11 (Data Constructor)	SoftFOL.Sign
12 (Data Constructor)	THF.As
13 (Type/Class)	THF.Cons
14 (Type/Class)	TIP.AbsTIP
15 (Data Constructor)	TPTP.AS
type2exp	LF.Twelf2GR
TypeAbs	HasCASL.As
TypeAliasSymbol	HasCASL.Le
typeAnno	THF.Sign
TypeAppl	HasCASL.As
TypeArg
1 (Type/Class)	HasCASL.As
2 (Data Constructor)	HasCASL.As
typeArg	HasCASL.ParseTerm
typeArgs	Isabelle.IsaSign
typeArgsListToKind	HasCASL.AsUtils
typeArgsListToRawKind	HasCASL.AsUtils
typeArgToType	HasCASL.AsUtils
TypeAsItemType	HasCASL.Le
typeCheck	HasCASL.TypeCheck
TypeClass
1 (Type/Class)	CSMOF.Sign
2 (Data Constructor)	CSMOF.Sign
TypeConstant	TPTP.Sign
typeConstsOf	THF.Poly
Typed	OWL2.AS
TypedChanName
1 (Type/Class)	CspCASL.AS_CspCASL_Process
2 (Data Constructor)	CspCASL.AS_CspCASL_Process
TypeDecl	HasCASL.As
typedeclS	Isabelle.IsaConsts
TypeDef	Isabelle.IsaSign
Typedef
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
typeDef	Isabelle.IsaSign
typedefM1	Isabelle.IsaExport
typedefM2	Isabelle.IsaExport
typedefMixfix	Isabelle.IsaSign
typedefMorphisms	Isabelle.IsaSign
TypeDefn	HasCASL.Le
typeDefn	HasCASL.Le
typedefName	Isabelle.IsaSign
typedefProof	Isabelle.IsaSign
typedefS	Isabelle.IsaConsts
typedefTerm	Isabelle.IsaSign
typedefType	Isabelle.IsaExport
typedefVars	Isabelle.IsaSign
Typedef_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
TypedElement
1 (Type/Class)	CSMOF.As
2 (Data Constructor)	CSMOF.As
typedElementSubClasses	CSMOF.As
typedElementSuper	CSMOF.As
typedElementType	CSMOF.As
typedName	Comorphisms.HolLight2Isabelle
TypedOrUntyped	OWL2.AS
typedPattern	HasCASL.ParseTerm
TypedRule
1 (Type/Class)	Adl.StatAna
2 (Data Constructor)	Adl.StatAna
typedSymbKindToRaw	CASL.Morphism
TypedTerm	HasCASL.As
typedTerm	HasCASL.ParseTerm
typedVarTerm	SoftFOL.Sign
typeFlatForm	DFOL.AS_DFOL
TypeFunctor	TPTP.Sign
typeId
1 (Function)	Common.Id
2 (Function)	Isabelle.IsaSign
3 (Function)	THF.Sign
typeIdMap	HasCASL.Le
TypeInfo
1 (Type/Class)	CSMOF.StatAna
2 (Data Constructor)	CSMOF.StatAna
3 (Type/Class)	HasCASL.Le
4 (Data Constructor)	HasCASL.Le
5 (Type/Class)	THF.Sign
6 (Data Constructor)	THF.Sign
typeInfoToSymbol	Comorphisms.HasCASL2THFP_P
typeInstTok	Common.Prec
TypeItem	HasCASL.As
TypeItems	HasCASL.As
typeItems	CASL.Parse_AS_Basic
TypeKind
1 (Type/Class)	CSMOF.Sign
2 (Data Constructor)	Maude.AS_Maude
typeKind
1 (Function)	HasCASL.Le
2 (Function)	HasCASL.ParseTerm
3 (Function)	THF.Sign
TypeKindInstance	HasCASL.Le
TypeMap
1 (Type/Class)	HasCASL.Le
2 (Type/Class)	THF.Sign
typeMap	HasCASL.Le
typeMapIntersect	THF.Sign
typeMapUnion	THF.Sign
TypeName	HasCASL.As
typeName
1 (Function)	Isabelle.IsaExport
2 (Function)	QVTR.As
3 (Function)	THF.Sign
typeNub	HasCASL.MinType
typeOf	HolLight.Helper
typeOfTerm	Comorphisms.CASL2HasCASL
typeOMDocMathObject	OMDoc.OMDocInterface
typeOMS	LF.Twelf2GR
typeOrId	HasCASL.ParseTerm
TypeOrTypedElement	CSMOF.As
TypePattern
1 (Type/Class)	HasCASL.As
2 (Data Constructor)	HasCASL.As
typePattern	HasCASL.ParseTerm
TypePatternArg	HasCASL.As
typePatternArg	HasCASL.ParseTerm
typePatternOrId	HasCASL.ParseTerm
TypePatternToken	HasCASL.As
typePatternToken	HasCASL.ParseTerm
TypePrec	HasCASL.PrintAs
typeQN	LF.Twelf2GR
TypeQual	HasCASL.As
typeQual	HasCASL.ParseTerm
typeRecForm	DFOL.AS_DFOL
typeRel
1 (Function)	CSMOF.Sign
2 (Function)	HasCASL.TypeRel
typeRule	Adl.StatAna
Types	OWL2.AS
typeS	Common.Keywords
types
1 (Function)	CSMOF.Sign
2 (Function)	HolLight.Sign
3 (Function)	Isabelle.IsaStrings
4 (Function)	THF.Sign
typesC	OWL2.ColonKeywords
TypeScheme
1 (Type/Class)	HasCASL.As
2 (Data Constructor)	HasCASL.As
typeScheme	HasCASL.ParseTerm
typesI	CSMOF.StatAna
TypeSig	Isabelle.IsaSign
TypeSort	Maude.AS_Maude
typeSort	Isabelle.IsaSign
typesS	Isabelle.IsaConsts
TypesSection	OWL2.PrintMS
typeString	CASL.ToDoc
typeSubClasses	CSMOF.As
typeSubst	HolLight.Helper
typeSuper	CSMOF.As
TypeSynonym
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
typeSynonymName	Isabelle.IsaExport
typeSynonymTarget	Isabelle.IsaExport
TypeSynonym_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
typeSystem	OMDoc.OMDocInterface
typeToBinaryType	THF.Utils
typeTok	Common.Id
TypeToken	HasCASL.As
typeToken	HasCASL.ParseTerm
typeToks
1 (Function)	Comorphisms.PPolyTyConsHOL2IsaUtils
2 (Function)	Comorphisms.CFOL2IsabelleHOL
typeToTopLevelType	THF.Utils
typeToUnitaryType	THF.Utils
typeToXml	OMDoc.XmlInterface
typeUniverseS	HasCASL.AsUtils
typeVar	HasCASL.HToken
TypeVarDefn
1 (Type/Class)	HasCASL.Le
2 (Data Constructor)	HasCASL.Le
typeVars	HasCASL.ParseTerm
Type_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
type_check	THF.Poly
type_classes	HasCASL.Sublogic
Type_constant	TPTP.AS
Type_functor	TPTP.AS
Type_functorType
1 (Type/Class)	TPTP.Sign
2 (Data Constructor)	TPTP.Sign
typRelI	CSMOF.StatAna
TySg	Isabelle.IsaSign
TyVar
1 (Data Constructor)	HolLight.Term
2 (Data Constructor)	TIP.AbsTIP
T_Function_Term	THF.As
t_keys	RelationalScheme.Sign
t_name	RelationalScheme.Sign
T_Variable	THF.As