Next:
1. Introduction
Up:
The IMPS User's Manual
Previous:
List of Figures
1. Introductory Material
1. Introduction
1.1 Overview of the Manual
1.2 Goals
1.3 Components of the System
1.4 Acknowledgments
2. Distribution
2.1 How to Get and Install IMPS
2.2 IMPS Copyright Notice
3. A Brief Tutorial
3.1 Interacting with IMPS
3.2 On-line Documentation
3.3 Languages and Theories
3.4 Syntax
3.5 Proofs
3.6 Extending IMPS
3.7 The Little Theories Style
4. On-Line Help
4.1 The Manual
4.2 Def-forms
4.3 Using Menus
5. Exercises
5.1 Introduction
5.2 Mathematical Exercises
5.3 Logical Exercises
5.4 Exercises related to Computer Science
6. Little Theories
Next:
1. Introduction
Up:
The IMPS User's Manual
Previous:
List of Figures
System Administrator
2000-07-23
