next up previous contents
Next: The Special Theorems INPUT Up: The Tactic Language Previous: The Special Theorems EVAL

Arithmetic Operators

Operators of unsigned integer arithmetic listed above are applied whenever both arguments are numerals. The debugger now carries out arithmetic operations step by step; in earlier versions, it evaluated arithmetic expressions ``all at once'', a situation which would be easy to restore.

Randall Holmes
Fri Sep 5 16:28:58 MDT 1997