Index - F
| fc_after | TPDB.CPF.Proof.Type |
| fc_before | TPDB.CPF.Proof.Type |
| fc_here | TPDB.CPF.Proof.Type |
| fc_symbol | TPDB.CPF.Proof.Type |
| FiniteModel | TPDB.CPF.Proof.Type |
| fixpoint | TPDB.DP.Usable |
| FlatContextClosure | TPDB.CPF.Proof.Type |
| flatContexts | TPDB.CPF.Proof.Type |
| fromDoc | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| fromMarkedIdentifier | TPDB.CPF.Proof.Util |
| from_strict_rules | TPDB.Data, TPDB.XTC |
| fsep | TPDB.Pretty |
| fs_arity | TPDB.Data, TPDB.XTC |
| fs_name | TPDB.Data, TPDB.XTC |
| fs_replacementmap | TPDB.Data, TPDB.XTC |
| fs_theory | TPDB.Data, TPDB.XTC |
| Full | TPDB.Data, TPDB.XTC |
| full_signature | TPDB.Data, TPDB.XTC |
| FunContext | TPDB.CPF.Proof.Type |
| Funcsym | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |