tpdb-0.8.2: Data Type for Rewriting Systems

Index - N

name 
1 (Function)TPDB.Data, TPDB.XTC
2 (Function)TPDB.CPF.Proof.Type
NaturalTPDB.Rainbow.Proof.Type
NaturalsTPDB.CPF.Proof.Type
nestTPDB.Pretty
NodeTPDB.Data.Term, TPDB.Data, TPDB.XTC