{- | Description : extension of CASL that distinguishes rigid and flexible symbols Copyright : (c) Otto-von-Guericke University of Magdeburg License : GPLv2 or higher, see LICENSE.txt The "RigidCASL" folder contains the skeleton of an instance of "Logic.Logic" for RigidCASL, an extension of CASL that distinguishes rigid and flexible symbols (the latter can be varying over time or over worlds). -} module RigidCASL where