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	GUI.HTkUtils
Tac	THF.As
TacticScript
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
tacticScript	Logic.Prover
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
tanS	CSL.Keywords
target
1 (Function)	CommonLogic.Morphism
2 (Function)	Maude.Morphism
3 (Function)	Framework.AS
4 (Function)	LF.Morphism
5 (Function)	DFOL.Morphism
6 (Function)	Temporal.Morphism
7 (Function)	Propositional.Morphism
8 (Function)	CSMOF.As
9 (Function)	CSL.Morphism
10 (Function)	QBF.Morphism
11 (Function)	Static.XGraph
targetComorphism	Logic.Modification
targetDomain	QVTR.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
targetVar	CSMOF.Sign
TAssump	Haskell.HatParser
TAttr	Isabelle.IsaSign
TAttribute	Common.XPath
Tau	THF.As
tauSigma	Logic.Modification
TautologousConclusion	SoftFOL.MathServParsing
Tautology	SoftFOL.MathServParsing
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
TBox	OWL2.ShipSyntax
tbox	OWL2.ShipSyntax
TBoxCons
1 (Type/Class)	OWL2.ShipSyntax
2 (Data Constructor)	OWL2.ShipSyntax
tboxCons	OWL2.ShipSyntax
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	THF.As
TCADT	OMDoc.DataTypes
TCClassification	OMDoc.Import
TCClf	OMDoc.Import
TCComment	OMDoc.DataTypes
TCElement	OMDoc.DataTypes
TCFlexibleNotation	OMDoc.DataTypes
TCImport	OMDoc.DataTypes
TCMorphism	OMDoc.DataTypes
tcName	OMDoc.DataTypes
TCNotation	OMDoc.DataTypes
TCon	Isabelle.IsaSign
TCorOMElement	OMDoc.DataTypes
tcross	GUI.HTkUtils
TCSmartNotation	OMDoc.DataTypes
TCSymbol	OMDoc.DataTypes
tcTopDecls	Haskell.HatParser
TCT_Assoc_Connective	THF.As
TCT_THF_Pair_Connective	THF.As
TCT_THF_Unary_Connective	THF.As
TElement	Common.XPath
template	QVTR.As
templateList	QVTR.As
Temporal
1 (Type/Class)	Temporal.Logic_Temporal
2 (Data Constructor)	Temporal.Logic_Temporal
Ter	SoftFOL.Sign
TERM
1 (Type/Class)	CommonLogic.AS_CommonLogic
2 (Type/Class)	DFOL.AS_DFOL
3 (Type/Class)	CASL.AS_Basic_CASL
Term
1 (Type/Class)	HolLight.Term
2 (Data Constructor)	Isabelle.IsaSign
3 (Type/Class)	Isabelle.IsaSign
4 (Type/Class)	RDF.AS
5 (Type/Class)	Maude.AS_Maude
6 (Type/Class)	CASL.CompositionTable.ModelFormula
7 (Type/Class)	THF.As
8 (Type/Class)	HasCASL.As
9 (Data Constructor)	Syntax.AS_Structured
term
1 (Function)	HolLight.Sentence
2 (Function)	CommonLogic.Parse_KIF
3 (Function)	CommonLogic.Parse_CLIF
4 (Function)	CASL.Formula
5 (Function)	HasCASL.ParseTerm
6 (Function)	Comorphisms.HasCASL2IsabelleHOL
termAppl	Isabelle.IsaConsts
termBAppl	Comorphisms.Hs2HOLCFaux
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
termMAbs	Comorphisms.Hs2HOLCFaux
TermMap	Maude.AS_Maude
termMAppl	Comorphisms.Hs2HOLCFaux
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_OR_ENTITY_REF	Syntax.AS_Structured
TERM_SEQ	CommonLogic.AS_CommonLogic
Term_seq	CommonLogic.AS_CommonLogic
TEST	Static.DevGraph
test	Common.GraphAlgo
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)	DMU.Logic_DMU
4 (Data Constructor)	DMU.Logic_DMU
5 (Type/Class)	FreeCAD.Logic_FreeCAD
6 (Data Constructor)	FreeCAD.Logic_FreeCAD
text
1 (Function)	GUI.HTkUtils
2 (Function)	Common.Lib.Pretty
3 (Function)	Common.Doc
4 (Function)	CommonLogic.Parse_CLIF
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
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
TF_THF_Logic_Formula	THF.As
TF_THF_Sequent	THF.As
thAna	TopHybrid.StatAna
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)	SoftFOL.MathServParsing
2 (Data Constructor)	OMDoc.DataTypes
3 (Data Constructor)	THF.As
4 (Data Constructor)	SoftFOL.Sign
theoremHideShift
1 (Function)	Proofs.SimpleTheoremHideShift
2 (Function)	Proofs.TheoremHideShift
theoremHideShiftFromList	Proofs.TheoremHideShift
theoremS	Isabelle.IsaConsts
theoremsS	Isabelle.IsaConsts
theoremsToAxioms	Static.ComputeTheory
Theory
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	OMDoc.OMDocInterface
3 (Data Constructor)	OMDoc.OMDocInterface
4 (Type/Class)	Logic.Prover
5 (Data Constructor)	Logic.Prover
6 (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
theoryPresentations	OMDoc.OMDocInterface
theoryQN	LF.Twelf2GR
theoryS	Isabelle.IsaConsts
theoryTransl	DFOL.Comorphism
theory_to_taxonomy	Logic.Logic
THF
1 (Data Constructor)	THF.Sublogic
2 (Type/Class)	THF.Logic_THF
3 (Data Constructor)	THF.Logic_THF
tHF	THF.Sublogic
THF0	THF.Sublogic
tHF0	THF.Sublogic
tHF0_P	THF.Sublogic
THFAtom	THF.As
thfAxioms	THF.ProverState
THFBinaryFormula	THF.As
THFBinaryTuple	THF.As
THFBinaryType	THF.As
THFConnTerm	THF.As
THFCoreSl	THF.Sublogic
THFFormula	THF.As
thfFormulaAF	THF.As
THFLogicFormula	THF.As
THFP	THF.Sublogic
tHFP	THF.Sublogic
THFP2THF0
1 (Type/Class)	Comorphisms.THFP2THF0
2 (Data Constructor)	Comorphisms.THFP2THF0
THFPairConnective	THF.As
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
THFSequent	THF.As
THFSl
1 (Type/Class)	THF.Sublogic
2 (Data Constructor)	THF.Sublogic
THFSubType	THF.As
THFTopLevelType	THF.As
thfTopLevelTypeToType	THF.Utils
THFTuple	THF.As
THFTypeableFormula	THF.As
THFTypedConst	THF.As
THFTypeFormula	THF.As
THFUnaryConnective	THF.As
THFUnitaryFormula	THF.As
THFUnitaryType	THF.As
THFVariable	THF.As
THFVariableList	THF.As
THF_Formula	THF.As
tHF_P	THF.Sublogic
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	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
TI	Haskell.HatParser
TiDecl	Haskell.HatParser, Haskell.HatAna
TiDecls	Haskell.HatParser
time	SoftFOL.MathServParsing
timedout	Common.AutoProofUtils
TimeLimit	Interfaces.Command
timeLimit	Interfaces.GenericATPState
timeLimitExceeded	Interfaces.GenericATPState
timeMods	ExtModal.ExtModalSign
Timeout	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
timeUsed	Interfaces.GenericATPState
Tk	GUI.HTkUtils
TkCommand
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	GUI.HTkUtils
tkGetToplevelConfig	GUI.HTkUtils
tkSetToplevelConfigs	GUI.HTkUtils
TkVariable
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	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
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
To	Maude.AS_Maude
toAbsoluteURI	LF.Twelf2GR
toACE	OWL2.CASL2OWL
toAItem	Common.Item
toAItemWithA	Common.Item
toAnno	CASL.Kif2CASL
toAnnos	Common.AnnoState
toAxioms	Proofs.AbstractState
toBinJunctor	HasCASL.Builtin
toBitMap	GUI.HTkUtils
toC	OWL2.CASL2OWL
toChanSymbol	CspCASL.Symbol
toChar	Common.ConvertLiteral
toClass	CSMOF.Parser
tocm	GUI.HTkUtils
toCmpTbl	CASL.CompositionTable.ModelTable
toColour	GUI.HTkUtils
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
toDouble	GUI.HTkUtils
toEBit	OWL2.CASL2OWL
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)	Maude.Symbol
2 (Function)	DFOL.Symbol
3 (Function)	CASL.Kif2CASL
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	Common.Json
Token
1 (Type/Class)	Common.Id
2 (Data Constructor)	Common.Id
token2id	Maude.PreComorphism
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
tokToQName	OWL2.Propositional2OWL2
toLatex	Common.Doc
toLatexAux	Common.Doc
ToLeft	GUI.HTkUtils
toLibName	LF.Twelf2GR
toList
1 (Function)	Common.Lib.SizedList
2 (Function)	Common.OrderedMap
3 (Function)	Common.Lib.MapSet
4 (Function)	Common.Lib.Rel
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
toMod	Haskell.HatParser
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)	GUI.HTkUtils
2 (Data Constructor)	HolLight.Sublogic
top
1 (Function)	CommonLogic.Sublogic
2 (Function)	CASL.Sublogic
3 (Function)	Propositional.Sublogic
4 (Function)	QVTR.As
5 (Function)	QVTR.Sign
6 (Function)	QBF.Sublogic
7 (Function)	Logic.Logic
toPairList	Common.Lib.MapSet
ToPartRenaming	Maude.AS_Maude
topC	OWL2.ShipSyntax
topDataProp	OWL2.Keywords
TopDown	GUI.UDGUtils
TopElem	Static.XSimplePath
topIdOfAxiom	CASL.CCC.TermFormula
topIdOfTerm	CASL.CCC.TermFormula
topKey	Common.Doc
TopLabel	GUI.HTkUtils
Toplevel
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	GUI.HTkUtils
topLevelSentence	CommonLogic.Parse_KIF
topLogic	HasCASL.Sublogic
topMix1	Common.Token
topMix2	Common.Token
topMix3	Common.Token
topName	Haskell.HatParser
topObjProp	OWL2.Keywords
topParser	TopHybrid.Parse_AS
topProfile	OWL2.Profiles
topR	OWL2.ShipSyntax
toPrecMap	Common.Lib.Rel
toPredType	CASL.Sign
toPRED_TYPE	CASL.Sign
topRelations	QVTR.Sign
toProcSymbol	CspCASL.Symbol
toProdType	HasCASL.AsUtils
toProgPos	Comorphisms.HasCASL2Haskell
toProperty	CSMOF.Parser
topRT	OWL2.MS2Ship
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)	OMDoc.XmlInterface
2 (Function)	LF.Twelf2GR
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
toSortGenAx	CASL.StaticAna
toSortGenNamed	CASL.Sign
toSource	GUI.UDGUtils
toString	Common.ConvertLiteral
toSubClass	OWL2.CASL2OWL
toSubRel	CSMOF.Sign
toSym	LF.Sign
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
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)	Maude.Symbol
2 (Function)	CSMOF.Parser
3 (Function)	CSMOF.Sign
4 (Function)	HasCASL.AsUtils
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	THF.As
To_rat	THF.As
To_real	THF.As
tp2DTyp	Comorphisms.HolLight2Isabelle
tp2Typ	Comorphisms.HolLight2Isabelle
tpredApp	Haskell.HatParser
tpropApp	Haskell.HatParser
tpS	CSL.Keywords
TPTP	SoftFOL.Sign
tptp	SoftFOL.ParseTPTP
TPTPFile	Driver.Options
TPTPIn	Driver.Options
tptpModel	SoftFOL.ParseTPTP
TPTPProblem	SoftFOL.MathServParsing
tptpProvers	SoftFOL.ProveDarwin
TPTP_Comment	THF.As
TPTP_Defined_Comment	THF.As
TPTP_Header	THF.As
TPTP_Include	THF.As
TPTP_System_Comment	THF.As
TPTP_THF	THF.As
TPTP_THF_Annotated_Formula	THF.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	SoftFOL.Translate
Transitive	OWL2.AS
transitiveObjectPropertyK	OWL2.XMLKeywords
transitivityS	CspCASLProver.Consts
transLamdaTerm	Comorphisms.HasCASL2THFP_P
Translatable	DFOL.AS_DFOL
translate
1 (Function)	LF.Morphism
2 (Function)	DFOL.AS_DFOL
translate'	FreeCAD.Translator
translateAltDefn	Comorphisms.HasCASL2Haskell
translateAssump	Comorphisms.HasCASL2Haskell
translateByGName	Static.FromXmlUtils
translateCaseProgEq	Comorphisms.HasCASL2Haskell
translateDt	Comorphisms.HasCASL2Haskell
TranslatedTheory	Interfaces.Command
translateGraph	GUI.GraphLogic
translateG_theory	Static.GTheory
translateId	Comorphisms.HasCASL2Haskell
translateIdWithType	Haskell.TranslateId
translateLetProgEq	Comorphisms.HasCASL2Haskell
translateOpDecl	Maude.PreComorphism
translateOpDecl'	Maude.PreComorphism
translateOpDeclSet	Maude.PreComorphism
translateOpDeclSet'	Maude.PreComorphism
translateOpMapEntry	Maude.PreComorphism
translateOps	Maude.PreComorphism
translateOps'	Maude.PreComorphism
translatePattern	Comorphisms.HasCASL2Haskell
translateProgEq	Comorphisms.HasCASL2Haskell
translateSen	HasCASL.ProgEq
translateSentence
1 (Function)	Maude.Morphism
2 (Function)	Comorphisms.HasCASL2Haskell
translateSig	Comorphisms.HasCASL2Haskell
translateSorts	Maude.Morphism
translateTerm
1 (Function)	Comorphisms.HolLight2Isabelle
2 (Function)	Comorphisms.HasCASL2Haskell
translateTheoryOfNode	GUI.GraphLogic
translateType	Comorphisms.HasCASL2Haskell
translateTypeInfo	Comorphisms.HasCASL2Haskell
translateTypeScheme	Comorphisms.HasCASL2Haskell
Translation	Syntax.AS_Structured
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
transPath	Comorphisms.Hs2HOLCFaux
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.CASL2HasCASL
2 (Function)	Comorphisms.CFOL2IsabelleHOL
transReduce	Common.Lib.Rel
transSchemaMFormula	Modal.ModalSystems
transSen
1 (Function)	Maude.PreComorphism
2 (Function)	Comorphisms.CommonLogic2IsabelleHOL
TransSenName	Interfaces.GenericATPState
transSenName
1 (Function)	SoftFOL.Translate
2 (Function)	Propositional.ProverState
3 (Function)	QBF.ProverState
transSentence
1 (Function)	Comorphisms.PPolyTyConsHOL2IsaUtils
2 (Function)	Comorphisms.HasCASL2IsabelleHOL
transSignature	Comorphisms.HasCASL2IsabelleHOL
transSort	Comorphisms.CFOL2IsabelleHOL
transString
1 (Function)	Isabelle.Translate
2 (Function)	OWL2.Translate
3 (Function)	Common.SExpr
transSymbol
1 (Function)	Comorphisms.THFP_P2HasCASL
2 (Function)	Comorphisms.HasCASL2THFP_P
transTerm
1 (Function)	Comorphisms.HasCASL2THFP_P
2 (Function)	Comorphisms.CommonLogic2IsabelleHOL
3 (Function)	Comorphisms.HasCASL2IsabelleHOL
transTermSeq	Comorphisms.CommonLogic2IsabelleHOL
transText	Comorphisms.CommonLogic2IsabelleHOL
transTextMeta	Comorphisms.CommonLogic2IsabelleHOL
transTheory
1 (Function)	Comorphisms.Hs2HOLCF
2 (Function)	Comorphisms.THFP_P2HasCASL
3 (Function)	Comorphisms.HasCASL2THFP_P
4 (Function)	Comorphisms.CFOL2IsabelleHOL
transTN	Comorphisms.Hs2HOLCFaux
transToken
1 (Function)	Comorphisms.THFP2THF0
2 (Function)	Common.SExpr
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.THFP2THF0
2 (Function)	Comorphisms.THFP_P2THFP
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	Proofs.TriangleCons
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
Truncate	THF.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
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)	THF.Cons
2 (Data Constructor)	CSMOF.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
tuple	Haskell.HatParser
tupleId	Common.Earley
TupleTerm	HasCASL.As
tupleTypeToContext	Haskell.HatParser
tupleTypeToContext'	Haskell.HatParser
Tuplex	Isabelle.IsaSign
tuple_con_name	Haskell.HatParser
tuple_tycon	Haskell.HatParser
tuple_tycon_name	Haskell.HatParser
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	HolLight.Term
TyMap	Comorphisms.Hs2HOLCFaux
Typ
1 (Data Constructor)	Haskell.HatParser
2 (Type/Class)	Isabelle.IsaSign
3 (Data Constructor)	OMDoc.DataTypes
typ	Isabelle.IsaSign
TYPE
1 (Type/Class)	DFOL.AS_DFOL
2 (Type/Class)	CASL.AS_Basic_CASL
Type
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
4 (Type/Class)	Maude.AS_Maude
5 (Data Constructor)	LF.Sign
6 (Type/Class)	OMDoc.OMDocInterface
7 (Data Constructor)	OMDoc.OMDocInterface
8 (Data Constructor)	THF.As
9 (Type/Class)	THF.Cons
10 (Type/Class)	CSMOF.As
11 (Data Constructor)	CSMOF.As
12 (Data Constructor)	SoftFOL.Sign
13 (Type/Class)	HasCASL.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
TypeCheckDecls	Haskell.HatParser
TypeClass
1 (Type/Class)	CSMOF.Sign
2 (Data Constructor)	CSMOF.Sign
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
typeId
1 (Function)	Isabelle.IsaSign
2 (Function)	Common.Id
3 (Function)	THF.Sign
typeIdMap	HasCASL.Le
TypeInfo
1 (Type/Class)	Haskell.HatParser
2 (Type/Class)	THF.Sign
3 (Data Constructor)	THF.Sign
4 (Type/Class)	CSMOF.StatAna
5 (Data Constructor)	CSMOF.StatAna
6 (Type/Class)	HasCASL.Le
7 (Data Constructor)	HasCASL.Le
typeInfoToSymbol	Comorphisms.HasCASL2THFP_P
typeInstTok	Common.Prec
TypeItem	HasCASL.As
TypeItems	HasCASL.As
typeItems	CASL.Parse_AS_Basic
TypeKind
1 (Data Constructor)	Maude.AS_Maude
2 (Type/Class)	CSMOF.Sign
typeKind
1 (Function)	THF.Sign
2 (Function)	HasCASL.Le
3 (Function)	HasCASL.ParseTerm
TypeKindInstance	HasCASL.Le
TypeMap
1 (Type/Class)	THF.Sign
2 (Type/Class)	HasCASL.Le
typeMap	HasCASL.Le
typeMapIntersect	THF.Sign
typeMapUnion	THF.Sign
TypeName	HasCASL.As
typeName
1 (Function)	Isabelle.IsaExport
2 (Function)	THF.Sign
3 (Function)	QVTR.As
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)	Isabelle.IsaStrings
2 (Function)	HolLight.Sign
3 (Function)	THF.Sign
4 (Function)	CSMOF.Sign
5 (Function)	Haskell.HatAna
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
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
typeSynonym	Comorphisms.HasCASL2Haskell
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
Typing	Haskell.HatParser
typRelI	CSMOF.StatAna
TySg	Isabelle.IsaSign
TyVar	HolLight.Term
T_Function_Term	THF.As
t_keys	RelationalScheme.Sign
t_name	RelationalScheme.Sign
T_Variable	THF.As