next up previous contents
Next: Notations. Up: The Proof checker Documentation Previous: An example in analysis   Contents


Expressions, parsing and pretty printing.

This chapter describes the syntax of . It is possible to use without a precise knowledge of the syntax, but for the best use, it is better to read this chapter ... But as any formal definition of a complex syntax, this is hard to read. Therefore, if it is the first time you read BNF-like syntactic rules, you will have problem to understand this chapter.

The layout of this chapter is inspired by the documentation of Caml-light (by Xavier Leroy).



Subsections

Christophe Raffalli 2005-03-02