This document constitutes the reference manual of the Atelier B interactive prover (PRI). It contains all the available commands, for the 4.0 version of Atelier B. The aim of this manual is not to give proof techniques, but to indicate to the user the syntax and the fields covered by the interactive proof commands.
For each function a description is given of the syntax to be used and the way to use it. An example will complete the description of the function.
This document also includes: