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).