changeset 42637 | 381fdcab0f36 |
parent 14209 | 180cd69a5dbb |
42636:41dff1b862bf | 42637:381fdcab0f36 |
---|---|
1 %% $Id$ |
|
2 %% THIS FILE IS COMMON TO ALL LOGIC MANUALS |
1 %% THIS FILE IS COMMON TO ALL LOGIC MANUALS |
3 |
2 |
4 \chapter{Syntax definitions} |
3 \chapter{Syntax definitions} |
5 The syntax of each logic is presented using a context-free grammar. |
4 The syntax of each logic is presented using a context-free grammar. |
6 These grammars obey the following conventions: |
5 These grammars obey the following conventions: |