{- |
Description :  experimental work on institution comorphism modifications
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "Modifications" folder contains experimental work on institution comorphism modifications, see Razvan Diaconescu: Institution-independent Model Theory, Birkhäuser, 2008.

-}

module Modifications where