Input Format of NaTT

Input method is XML.

sym ::=

a variable or function symbol

term ::=

cond ::=

conditions for conditional rules

rule ::=

sym-decl ::=

Content