  *******************************************************************

  Using Formal Description Techniques - An Introduction to Estelle,
  LOTOS and SDL
  
  Copyright 1992 John Wiley and Sons Ltd.

  *******************************************************************

  Introduction to SDL
  
  Chapter 4
  
  O. Faergemand
  
  *******************************************************************

  pre-sort.tex:
    pre-defined sorts - SDL literals and operators

