| TAp | Haskell.Hatchet.Representation |
| TArrow | Haskell.Hatchet.Representation |
| TCon | Haskell.Hatchet.Representation |
| TERM | CASL.AS_Basic_CASL |
| TGen | Haskell.Hatchet.Representation |
| TI | Haskell.Hatchet.TIMonad |
| TTuple | Haskell.Hatchet.Representation |
| TVar | Haskell.Hatchet.Representation |
| TYPE | CASL.AS_Basic_CASL |
| Tactic_script | Logic.Prover |
| Term |
| 1 (Data Constructor) | CspCASL.AS_CSP_CASL |
| 2 (Type/Class) | HasCASL.As |
| TermChart | HasCASL.MixAna |
| TermToken | HasCASL.As |
| TextDetails |
| 1 (Type/Class) | Common.Lib.Pretty |
| 2 (Type/Class) | Common.SimpPretty |
| 3 (Type/Class) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| TheoremHideShift | Proofs.Proofs |
| Theory |
| 1 (Type/Class) | Logic.Prover |
| 2 (Data Constructor) | Logic.Prover |
| TheoryMorphism |
| 1 (Type/Class) | Logic.Prover |
| 2 (Data Constructor) | Logic.Prover |
| ThmLinkStatus | Static.DevGraph |
| TidyModule |
| 1 (Type/Class) | Haskell.Hatchet.TidyModule |
| 2 (Data Constructor) | Haskell.Hatchet.TidyModule |
| Tilde | Haskell.Hatchet.HsLexer |
| Timing |
| 1 (Type/Class) | Haskell.Hatchet.TIModule |
| 2 (Data Constructor) | Haskell.Hatchet.TIModule |
| ToExpr | Common.Earley |
| Token |
| 1 (Type/Class) | Common.Id |
| 2 (Data Constructor) | Common.Id |
| 3 (Type/Class) | Haskell.Hatchet.HsLexer |
| TokenMode | HasCASL.ParseTerm |
| TopFun | Haskell.Hatchet.Utils |
| TopLevel | HasCASL.TypeAna |
| Total |
| 1 (Data Constructor) | CASL.Sign |
| 2 (Data Constructor) | HasCASL.As |
| TotalTypeScheme | HasCASL.ParseTerm |
| Total_construct | CASL.AS_Basic_CASL |
| Total_op_head | CASL.AS_Basic_CASL |
| Total_op_type | CASL.AS_Basic_CASL |
| Total_select | CASL.AS_Basic_CASL |
| Translation | Syntax.AS_Structured |
| Tree | Haskell.Hatchet.Digraph |
| True_atom | CASL.AS_Basic_CASL |
| TuplePattern | HasCASL.As |
| TupleTerm | HasCASL.As |
| TySc |
| 1 (Type/Class) | HasCASL.Morphism |
| 2 (Data Constructor) | HasCASL.Morphism |
| Tycon |
| 1 (Type/Class) | Haskell.Hatchet.Representation |
| 2 (Data Constructor) | Haskell.Hatchet.Representation |
| Type |
| 1 (Type/Class) | HasCASL.As |
| 2 (Type/Class) | Haskell.Hatchet.Representation |
| TypeAppl | HasCASL.As |
| TypeArg |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| TypeAsItemType | HasCASL.Morphism |
| TypeDecl | HasCASL.As |
| TypeDefn | HasCASL.Le |
| TypeError | Haskell.Hatchet.Diagnostic |
| TypeId | HasCASL.As |
| TypeInfo |
| 1 (Type/Class) | HasCASL.Le |
| 2 (Data Constructor) | HasCASL.Le |
| TypeItem | HasCASL.As |
| TypeItems | HasCASL.As |
| TypeMap | HasCASL.Le |
| TypeName | HasCASL.As |
| TypeOrTypeScheme | HasCASL.ParseTerm |
| TypePattern |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| TypePatternArg | HasCASL.As |
| TypePatternToken | HasCASL.As |
| TypeQual | HasCASL.As |
| TypeScheme |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| TypeToken | HasCASL.As |
| TypeVarDefn | HasCASL.Le |
| TypedPattern | HasCASL.As |
| TypedTerm | HasCASL.As |
| Types | Haskell.Hatchet.Type |
| Tyvar |
| 1 (Type/Class) | Haskell.Hatchet.Representation |
| 2 (Data Constructor) | Haskell.Hatchet.Representation |
| tToken | HasCASL.ParseTerm |
| t_morphism | Logic.Prover |
| t_source | Logic.Prover |
| t_target | Logic.Prover |
| tab | Common.Lib.Parsec, Common.Lib.Parsec.Char |
| tabList_latex | Common.PPUtils |
| tab_hang_latex | Common.PPUtils |
| tab_nest_latex | Common.PPUtils |
| tabbed_nest_latex | Common.PPUtils |
| targetLogic | Logic.Comorphism |
| targetSublogic | Logic.Comorphism |
| term |
| 1 (Function) | CASL.Formula |
| 2 (Function) | HasCASL.ParseTerm |
| termToken | HasCASL.ParseTerm |
| testMatch | CASL.SymbolMapAnalysis |
| text |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.SimpPretty |
| 3 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| theGraph | GUI.AbstractGraphView |
| thenP | Haskell.Hatchet.HsParseMonad |
| thenS |
| 1 (Function) | Common.Keywords |
| 2 (Function) | CspCASL.CCKeywords |
| thenT | CspCASL.CCLexer |
| tiModule |
| 1 (Function) | Haskell.Hatchet.TIHetsModule |
| 2 (Function) | Haskell.Hatchet.TIModule |
| tiProgram | Haskell.Hatchet.TIMain |
| tidyAxiomBinds | Haskell.Hatchet.TidyModule |
| tidyClassDecls | Haskell.Hatchet.TidyModule |
| tidyDataDecls | Haskell.Hatchet.TidyModule |
| tidyDefDecls | Haskell.Hatchet.TidyModule |
| tidyExports | Haskell.Hatchet.TidyModule |
| tidyFunBinds | Haskell.Hatchet.TidyModule |
| tidyImports | Haskell.Hatchet.TidyModule |
| tidyInFixDecls | Haskell.Hatchet.TidyModule |
| tidyInstDecls | Haskell.Hatchet.TidyModule |
| tidyModName | Haskell.Hatchet.TidyModule |
| tidyModule | Haskell.Hatchet.TidyModule |
| tidyModuleToAHsModule | Haskell.Hatchet.TidyModule |
| tidyNewTyDecls | Haskell.Hatchet.TidyModule |
| tidyPatBinds | Haskell.Hatchet.TidyModule |
| tidyTyDecls | Haskell.Hatchet.TidyModule |
| tidyTySigs | Haskell.Hatchet.TidyModule |
| timesS | Common.Keywords |
| toAHsModule | Haskell.Hatchet.SynConvert |
| toATerm | Common.ATerm.Conversion, Common.ATerm.Lib |
| toATermList | Common.ATerm.Conversion, Common.ATerm.Lib |
| toATermString | Common.ATerm.Conversion, Common.ATerm.Lib |
| toATermTable | Common.ATerm.AbstractSyntax, Common.ATerm.Lib |
| toAnnos | Common.AnnoState |
| toAscList |
| 1 (Function) | Common.DFiniteMap |
| 2 (Function) | Common.Lib.Map |
| 3 (Function) | Common.Lib.Set |
| toEnvState | HasCASL.Unify |
| toIgnore | Common.Utils |
| toIntersection | HasCASL.ClassAna |
| toKey | Common.Lexer |
| toKind | HasCASL.TypeAna |
| toList |
| 1 (Function) | Common.DFiniteMap |
| 2 (Function) | Common.Lib.Map |
| 3 (Function) | Common.Lib.Rel |
| 4 (Function) | Common.Lib.Set |
| toListFM | Haskell.Hatchet.FiniteMaps |
| toMap | Common.Lib.Rel |
| toMaybe | Common.Utils |
| toMixTerm | HasCASL.MixAna |
| toOP_TYPE | CASL.Sign |
| toOpType | CASL.StaticAna |
| toPRED_TYPE | CASL.Sign |
| toParseFun | Logic.ParsecInterface |
| toPartialTypeScheme | HasCASL.ParseTerm |
| toPat | HasCASL.MixAna |
| toPos | Common.Id |
| toPredType | CASL.StaticAna |
| toS | Common.Keywords |
| toScheme | Haskell.Hatchet.Type |
| toSchemes | HasCASL.Unify |
| toSet | Common.Lib.Rel |
| toShATerm | Common.ATerm.Conversion, Common.ATerm.Lib |
| toShATermList | Common.ATerm.Conversion, Common.ATerm.Lib |
| toShATermString | WriteFn |
| toSharedATermString | Common.ATerm.Conversion, Common.ATerm.Lib |
| toString | Haskell.Hatchet.MultiModule, Haskell.Hatchet.MultiModuleBasics |
| toStringList | Haskell.Hatchet.MultiModuleBasics |
| toTable | Common.AS_Annotation |
| todo | Haskell.Hatchet.MultiModuleBasics |
| tokPos | Common.Id |
| tokStart | Common.Token |
| tokStr | Common.Id |
| token |
| 1 (Function) | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| 2 (Function) | Haskell.Hatchet.ParseLib |
| tokenPattern | HasCASL.ParseTerm |
| tokenPrim | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| tokens | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| top |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | Logic.Logic |
| topDefaults | Haskell.Hatchet.Class |
| topMix1 | Common.Token |
| topMix2 | Common.Token |
| topMix3 | Common.Token |
| topSort |
| 1 (Function) | Common.Lib.Rel |
| 2 (Function) | Haskell.Hatchet.Digraph |
| total | Haskell.Hatchet.TIModule |
| trOpType | Comorphisms.CASL2HasCASL |
| trPredType | Comorphisms.CASL2HasCASL |
| transClosure | Common.Lib.Rel |
| transMember | Common.Lib.Rel |
| transposeG | Haskell.Hatchet.Digraph |
| trd3 | Haskell.Hatchet.Utils |
| trueId | HasCASL.MixAna |
| trueS | Common.Keywords |
| try | Common.Lib.Parsec, Common.Lib.Parsec.Prim |
| tryItemEnd | Common.AnnoState |
| tupleComponent | HasCASL.ParseItem |
| tupleId | Common.Earley |
| tuplePatternToType | HasCASL.OpDecl |
| tuple_con | Haskell.Hatchet.HsSyn |
| tuple_con_name | Haskell.Hatchet.HsSyn |
| tuple_tycon | Haskell.Hatchet.HsSyn |
| tuple_tycon_name | Haskell.Hatchet.HsSyn |
| tv | Haskell.Hatchet.Type |
| tyconAnyComorphismAux | Logic.Grothendieck |
| tyconCompComorphism | Logic.Comorphism |
| tyconG_ext_sign | Logic.Grothendieck |
| tyconG_sign | Logic.Grothendieck |
| tycon_CASL2HasCASL | Comorphisms.CASL2HasCASL |
| tyconsMembers | Haskell.Hatchet.MultiModule, Haskell.Hatchet.MultiModuleBasics |
| tyconsMembersHaskellPrelude | Haskell.Hatchet.HaskellPrelude |
| typeAnno | HasCASL.ParseTerm |
| typeArg | HasCASL.ParseTerm |
| typeArgs | HasCASL.ParseTerm |
| typeArgsListToKind | HasCASL.TypeDecl |
| typeCheck | HasCASL.TypeCheck |
| typeDefn | HasCASL.Le |
| typeError | Haskell.Hatchet.Diagnostic |
| typeId |
| 1 (Function) | Common.Earley |
| 2 (Function) | HasCASL.HToken |
| typeIdMap | HasCASL.Morphism |
| typeInferTime | Haskell.Hatchet.TIModule |
| typeItem | HasCASL.ParseItem |
| typeItemList | HasCASL.ParseItem |
| typeItems |
| 1 (Function) | CASL.Parse_AS_Basic |
| 2 (Function) | HasCASL.ParseItem |
| typeKind |
| 1 (Function) | HasCASL.Le |
| 2 (Function) | HasCASL.ParseTerm |
| typeMap | HasCASL.Le |
| typeOrId | HasCASL.ParseTerm |
| typeOrTotalType | HasCASL.ParseItem |
| typeOrTypeScheme | HasCASL.ParseTerm |
| typePattern | HasCASL.ParseTerm |
| typePatternArg | HasCASL.ParseTerm |
| typePatternOrId | HasCASL.ParseTerm |
| typePatternToken | HasCASL.ParseTerm |
| typeQual | HasCASL.ParseTerm |
| typeS | Common.Keywords |
| typeScheme | HasCASL.ParseTerm |
| typeTok | Common.Earley |
| typeToken | HasCASL.ParseTerm |
| typeVar | HasCASL.HToken |
| typeVarDeclSeq | HasCASL.ParseItem |
| typeVars | HasCASL.ParseTerm |
| typedSymbKindToRaw | CASL.Morphism |
| typedTerm | HasCASL.ParseTerm |
