{- |
Description :  Unified Modeling Language UML
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "UML" folder contains the skeleton of
an instance of "Logic.Logic" for the Unified Modeling Language UML.
The details are currently still on branch UML.

-}

module UML where