Next:
List of Figures
Up:
The IMPS User's Manual
Previous:
Contents
List of Tables
3.1 Domains of Arithmetic Operators.
3.2 Sorts for
h-o-real-arithmetic
3.3 String Syntax for Constructors
3.4 Syntax for
h-o-real-arithmetic
5.1 Exercise Files by ``Tier''
7.1 Table of Constructors
10.1 System Quasi-Constructors
16.1 Description of String Syntax 1
16.2 Description of String Syntax 2
16.3 Description of Atoms
16.4 Operator Binding Powers
18.1 Search Order for
prove-by-logic-and-simplification
Next:
List of Figures
Up:
The IMPS User's Manual
Previous:
Contents
System Administrator
2000-07-23
