Authors: A. Gawecki, F. Matthes
Title: TooL: A Persistent Language Integrating Subtyping, Matching 
       and Type Quantification
Source file: tapos.tex
Print file: tapos.ps