я не знаю, как "у Олега", но в Fox в режиме Lax разделители необязательны. Они могут быть, но игнорируются. Более того, даже в обычном режиме такой вот код нормально компилируется:
## Код:
```
MODULE Test6;

IMPORT
    Commands;
 
TYPE
    X = RECORD END
 
TYPE
    Y = RECORD END
 
    PROCEDURE P; END P
    PROCEDURE N; END N
END Test6.
```
