make_srs | TPDB.Plain.Read |
make_trs | TPDB.Plain.Read |
many | TPDB.Xml |
Marked | |
1 (Type/Class) | TPDB.DP.Transform, TPDB.DP |
2 (Data Constructor) | TPDB.DP.Transform, TPDB.DP |
markedSymbols | TPDB.CPF.Proof.Type |
mark_top | TPDB.DP.Transform, TPDB.DP |
Matrix | TPDB.CPF.Proof.Type |
Matrix_Interpretation | TPDB.CPF.Proof.Type |
mgu | TPDB.DP.Unify |
Minus_Infinite | TPDB.CPF.Proof.Type |
mirror | TPDB.Mirror |
mk | TPDB.Data, TPDB.XTC |
mkel | TPDB.Xml |
mknullary | TPDB.Data, TPDB.XTC |
mkunary | TPDB.Data, TPDB.XTC |
Model | TPDB.CPF.Proof.Type |
model | TPDB.CPF.Proof.Type |
must_succeed | TPDB.Xml |