This directory contains different versions of OBST, its documentation
and its corresponding tools.

THE CURRENT VERSION IS OBST3-4.3 (released Januar 18, 1995).