parens | TPDB.Pretty |
PathOrder | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
peArity | TPDB.CPF.Proof.Type |
peek | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
peek_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
pePrecedence | TPDB.CPF.Proof.Type |
peSymbol | TPDB.CPF.Proof.Type |
PIsEmpty | TPDB.CPF.Proof.Type |
Plus_Infinite | TPDB.CPF.Proof.Type |
pmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
poke | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
pokes | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
poke_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
Polynomial | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
Polynomial_Coefficient | TPDB.CPF.Proof.Type |
Polynomial_Variable | TPDB.CPF.Proof.Type |
pos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
Position | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
positions | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
PrecedenceEntry | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
Pretty | TPDB.Pretty |
pretty | TPDB.Pretty |
prettyList | TPDB.Pretty |
PrettyTerm | TPDB.Plain.Write |
prettyTerm | TPDB.Plain.Write |
Problem | |
1 (Type/Class) | TPDB.Data, TPDB.XTC |
2 (Data Constructor) | TPDB.Data, TPDB.XTC |
Product | TPDB.CPF.Proof.Type |
prolog | TPDB.Xml.Pretty |
Proof | TPDB.CPF.Proof.Type |
proof | TPDB.CPF.Proof.Type |
ProofOrigin | TPDB.CPF.Proof.Type |
Property | TPDB.Data, TPDB.XTC |
punctuate | TPDB.Pretty |