Term Syntax
©1998 Research Institute for Symbolic Computation (RISC-Linz)
NO WARRANTY
Package Description
This package contains syntax definitions for terms.
Usage
Implementation
Begin
eq
Input (MakeExpression)
Output (MakeBoxes)
ppeq
Input (MakeExpression)
Output (MakeBoxes)
Mark
Input (MakeExpression)
Output (MakeBoxes)
RewriteRule
Input (MakeExpression)
Output (MakeBoxes)
Cons
Input (MakeExpression)
Output (MakeBoxes)
End