TODO 308 Bytes
Newer Older
1 2 3 4

syntaxe
-------

5
  - open
Jean-Christophe Filliâtre's avatar
uses  
Jean-Christophe Filliâtre committed
6 7 8 9 10 11 12


sémantique
----------
 
  - uses : pour l'instant, l'ordre des théories dans le fichier est important 
    i.e. les théories mentionnées par uses doivent être définies précédemment
13 14 15 16

  - open (et échouer si "open A" et "open B" avec A et B déclarant un symbole 
    de même nom)