Next:
1. Introductory Material
Up:
The IMPS User's Manual
Previous:
List of Tables
List of Figures
3.1 An Inference Node.
5.1 Generalized Power Rule
5.2 Telescoping Product Formula
12.1 An
IMPS
Proof Script
17.1 Axioms for Nat, as Introduced by
BNF
17.2
BNF
Syntax for a Small Programming Language
17.3
IMPS
def-bnf Form for Programming Language Syntax
Next:
1. Introductory Material
Up:
The IMPS User's Manual
Previous:
List of Tables
System Administrator
2000-07-23
