Term Syntax

©1998 Research Institute for Symbolic Computation (RISC-Linz)

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