Next:
General Syntax
Up:
Mark2 Prover Documentation
Previous:
Introduction; the Basic Session
The Internal Language
General Syntax
Atomic Terms
Operators
Compound Terms
Navigation within Terms
Declarations
Relative Type and Stratification
Predicativity and Opacity
Refinements: Embedded Theorems and Type Retractions
The Definition Facility
Randall Holmes
Fri Sep 5 16:28:58 MDT 1997
