Suggestion for minor change of the concrete syntax

[Michel.Bidoit@lsv.ens-cachan.fr (Michel Bidoit)]

Dear CoFI Friends,

Sorry to suggest this officially so late, but since we are still
considering fixing minor details of CASL, I hope the following very minor
suggestion can still be taken into account.

Suggestion for change of the concrete syntax for local variable
declarations (LOCAL-VAR-AXIOMS, see 2.2.2):

 Replace "var/vars" by "forall"  (displayed \textbf{forall}).

Note: This change is only at the level of the concrete syntax. No change at
all of the abstract syntax is needed. Moreover, it has already been checked
that from a tool point of view, the suggested change is harmless.

Rationale: It seems that having the same keyword for global variable
declarations and for local ones is a source of confusion, especially in the
case of a global variable declaration followed by some axioms.

Best regards,
Michel

[BKB: I support this, if it is still possible]

-- 
Michel Bidoit - Directeur du LSV
Laboratoire Specification et Verification       Tel:  +33 (0)1 47 40 28 68
CNRS UMR 8643                                   Secr: +33 (0)1 47 40 24 04
Ecole Normale Superieure de Cachan              Fax:  +33 (0)1 47 40 24 64
61, Avenue du President Wilson		
94235 CACHAN Cedex France                Email: Michel.Bidoit@lsv.ens-cachan.fr