Index
| .!=. | Codec.TPTP.Base, Codec.TPTP |
| .&. | Codec.TPTP.Base, Codec.TPTP |
| .<=. | Codec.TPTP.Base, Codec.TPTP |
| .<=>. | Codec.TPTP.Base, Codec.TPTP |
| .<~>. | Codec.TPTP.Base, Codec.TPTP |
| .=. | Codec.TPTP.Base, Codec.TPTP |
| .=>. | Codec.TPTP.Base, Codec.TPTP |
| .|. | Codec.TPTP.Base, Codec.TPTP |
| .~&. | Codec.TPTP.Base, Codec.TPTP |
| .~. | Codec.TPTP.Base, Codec.TPTP |
| .~|. | Codec.TPTP.Base, Codec.TPTP |
| :!=: | Codec.TPTP.Base, Codec.TPTP |
| :&: | Codec.TPTP.Base, Codec.TPTP |
| :<=: | Codec.TPTP.Base, Codec.TPTP |
| :<=>: | Codec.TPTP.Base, Codec.TPTP |
| :<~>: | Codec.TPTP.Base, Codec.TPTP |
| :=: | Codec.TPTP.Base, Codec.TPTP |
| :=>: | Codec.TPTP.Base, Codec.TPTP |
| :|: | Codec.TPTP.Base, Codec.TPTP |
| :~&: | Codec.TPTP.Base, Codec.TPTP |
| :~: | Codec.TPTP.Base, Codec.TPTP |
| :~|: | Codec.TPTP.Base, Codec.TPTP |
| AFormula | Codec.TPTP.Base, Codec.TPTP |
| All | Codec.TPTP.Base, Codec.TPTP |
| Annotations | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| annotations | Codec.TPTP.Base, Codec.TPTP |
| arbAtomicFormula | Codec.TPTP.Base, Codec.TPTP |
| arbCNF | Codec.TPTP.Base, Codec.TPTP |
| arbLiteral | Codec.TPTP.Base, Codec.TPTP |
| AtomicWord | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| BinOp | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| ColonSep | Codec.TPTP.Base, Codec.TPTP |
| Comma | Codec.TPTP.Import, Codec.TPTP |
| Comment | Codec.TPTP.Base, Codec.TPTP |
| CommentToken | Codec.TPTP.Import, Codec.TPTP |
| diff | Codec.TPTP.Diff, Codec.TPTP |
| Diffable | Codec.TPTP.Diff, Codec.TPTP |
| Differ | Codec.TPTP.Diff, Codec.TPTP |
| diffGenF | Codec.TPTP.Diff, Codec.TPTP |
| diffGenT | Codec.TPTP.Diff, Codec.TPTP |
| DiffResult | Codec.TPTP.Diff, Codec.TPTP |
| DistinctObjectTerm | Codec.TPTP.Base, Codec.TPTP |
| distinctObjectTerm | Codec.TPTP.Base, Codec.TPTP |
| DollarDollarWord | Codec.TPTP.Import, Codec.TPTP |
| DollarWord | Codec.TPTP.Import, Codec.TPTP |
| DontCare | Codec.TPTP.Diff, Codec.TPTP |
| Dot | Codec.TPTP.Import, Codec.TPTP |
| DoubleQuoted | Codec.TPTP.Import, Codec.TPTP |
| EnclBinOp | Codec.TPTP.Pretty, Codec.TPTP |
| EnclInfixPred | Codec.TPTP.Pretty, Codec.TPTP |
| EnclNeg | Codec.TPTP.Pretty, Codec.TPTP |
| EnclNothing | Codec.TPTP.Pretty, Codec.TPTP |
| Enclosing | Codec.TPTP.Pretty, Codec.TPTP |
| EnclQuant | Codec.TPTP.Pretty, Codec.TPTP |
| Exists | Codec.TPTP.Base, Codec.TPTP |
| exists | Codec.TPTP.Base, Codec.TPTP |
| F | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| F0Diff | Codec.TPTP.Diff, Codec.TPTP |
| fApp | Codec.TPTP.Base, Codec.TPTP |
| foldF | Codec.TPTP.Base, Codec.TPTP |
| foldFormula0 | Codec.TPTP.Base, Codec.TPTP |
| foldT | Codec.TPTP.Base, Codec.TPTP |
| foldTerm0 | Codec.TPTP.Base, Codec.TPTP |
| forgetFC | Codec.TPTP.Base, Codec.TPTP |
| forgetTC | Codec.TPTP.Base, Codec.TPTP |
| forgetTIC | Codec.TPTP.Base, Codec.TPTP |
| Formula | Codec.TPTP.Base, Codec.TPTP |
| formula | Codec.TPTP.Base, Codec.TPTP |
| Formula0 | Codec.TPTP.Base, Codec.TPTP |
| FormulaC | Codec.TPTP.Base, Codec.TPTP |
| FormulaW | Codec.TPTP.Base, Codec.TPTP |
| for_all | Codec.TPTP.Base, Codec.TPTP |
| FreeVars | Codec.TPTP.Base, Codec.TPTP |
| freeVars | Codec.TPTP.Base, Codec.TPTP |
| FunApp | Codec.TPTP.Base, Codec.TPTP |
| GApp | Codec.TPTP.Base, Codec.TPTP |
| GData | Codec.TPTP.Base, Codec.TPTP |
| GDistinctObject | Codec.TPTP.Base, Codec.TPTP |
| GFormulaData | Codec.TPTP.Base, Codec.TPTP |
| GFormulaTerm | Codec.TPTP.Base, Codec.TPTP |
| GList | Codec.TPTP.Base, Codec.TPTP |
| GNumber | Codec.TPTP.Base, Codec.TPTP |
| GTerm | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| GVar | Codec.TPTP.Base, Codec.TPTP |
| GWord | Codec.TPTP.Base, Codec.TPTP |
| Include | Codec.TPTP.Base, Codec.TPTP |
| InfixPred | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| isLowerWord | Codec.TPTP.Export, Codec.TPTP |
| isSame | Codec.TPTP.Diff, Codec.TPTP |
| Lbrack | Codec.TPTP.Import, Codec.TPTP |
| LowerWord | Codec.TPTP.Import, Codec.TPTP |
| LP | Codec.TPTP.Import, Codec.TPTP |
| name | Codec.TPTP.Base, Codec.TPTP |
| NoAnnotations | Codec.TPTP.Base, Codec.TPTP |
| NoUsefulInfo | Codec.TPTP.Base, Codec.TPTP |
| NumberLitTerm | Codec.TPTP.Base, Codec.TPTP |
| numberLitTerm | Codec.TPTP.Base, Codec.TPTP |
| Oper | Codec.TPTP.Import, Codec.TPTP |
| pApp | Codec.TPTP.Base, Codec.TPTP |
| parse | Codec.TPTP.Import, Codec.TPTP |
| parseFile | Codec.TPTP.Import, Codec.TPTP |
| parseWithComment | Codec.TPTP.Import, Codec.TPTP |
| parseWithCommentFile | Codec.TPTP.Import, Codec.TPTP |
| Plus | Codec.TPTP.Import, Codec.TPTP |
| PredApp | Codec.TPTP.Base, Codec.TPTP |
| PrettyAnsi | Codec.TPTP.Pretty, Codec.TPTP |
| prettyAnsi | Codec.TPTP.Pretty, Codec.TPTP |
| prettyAnsiList | Codec.TPTP.Pretty, Codec.TPTP |
| prettySimple | Codec.TPTP.Pretty, Codec.TPTP |
| printSampleDiffs | Codec.TPTP.Diff, Codec.TPTP |
| Quant | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| Rangle | Codec.TPTP.Import, Codec.TPTP |
| Rbrack | Codec.TPTP.Import, Codec.TPTP |
| Real | Codec.TPTP.Import, Codec.TPTP |
| Role | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| role | Codec.TPTP.Base, Codec.TPTP |
| RP | Codec.TPTP.Import, Codec.TPTP |
| runF | Codec.TPTP.Base, Codec.TPTP |
| runT | Codec.TPTP.Base, Codec.TPTP |
| Same | Codec.TPTP.Diff, Codec.TPTP |
| SameHead | Codec.TPTP.Diff, Codec.TPTP |
| SignedInt | Codec.TPTP.Import, Codec.TPTP |
| SingleQuoted | Codec.TPTP.Import, Codec.TPTP |
| Slash | Codec.TPTP.Import, Codec.TPTP |
| Star | Codec.TPTP.Import, Codec.TPTP |
| T | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| T0Diff | Codec.TPTP.Diff, Codec.TPTP |
| Term | Codec.TPTP.Base, Codec.TPTP |
| Term0 | Codec.TPTP.Base, Codec.TPTP |
| TermC | Codec.TPTP.Base, Codec.TPTP |
| TermW | Codec.TPTP.Base, Codec.TPTP |
| Token | Codec.TPTP.Import, Codec.TPTP |
| ToTPTP | Codec.TPTP.Export, Codec.TPTP |
| toTPTP | Codec.TPTP.Export, Codec.TPTP |
| toTPTP' | Codec.TPTP.Export, Codec.TPTP |
| TPTP_Input | Codec.TPTP.Base, Codec.TPTP |
| TPTP_Input_ | Codec.TPTP.Base, Codec.TPTP |
| TPTP_Input_C | Codec.TPTP.Base, Codec.TPTP |
| univquant_free_vars | Codec.TPTP.Base, Codec.TPTP |
| univquant_free_vars_FC | Codec.TPTP.Base, Codec.TPTP |
| unrole | Codec.TPTP.Base, Codec.TPTP |
| UnsignedInt | Codec.TPTP.Import, Codec.TPTP |
| unwrapF | Codec.TPTP.Base, Codec.TPTP |
| unwrapT | Codec.TPTP.Base, Codec.TPTP |
| UpperWord | Codec.TPTP.Import, Codec.TPTP |
| UsefulInfo | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| V | |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| Var | Codec.TPTP.Base, Codec.TPTP |
| var | Codec.TPTP.Base, Codec.TPTP |
| WithEnclosing | |
| 1 (Type/Class) | Codec.TPTP.Pretty, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Pretty, Codec.TPTP |