parens | TPDB.Pretty |
Parser | TPDB.Plain.Read |
peek | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
peek_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
PIsEmpty | TPDB.CPF.Proof.Type |
Plain | TPDB.CPF.Proof.Type |
PlusInfinite | TPDB.Rainbow.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 |
3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
Polynomial_Coefficient | TPDB.CPF.Proof.Type |
Polynomial_Int | TPDB.Rainbow.Proof.Type |
Polynomial_Variable | TPDB.CPF.Proof.Type |
Poly_Fun | |
1 (Type/Class) | TPDB.Rainbow.Proof.Type |
2 (Data Constructor) | TPDB.Rainbow.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 |
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 | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Type/Class) | TPDB.Rainbow.Proof.Type |
3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
proof | TPDB.CPF.Proof.Type |
ProofOrigin | TPDB.CPF.Proof.Type |
Property | TPDB.Rainbow.Proof.Type |
property | TPDB.Rainbow.Proof.Type |
punctuate | TPDB.Pretty |