: mCRL(2) keyword file - by Paul van Tilburg : $Id$ : Specification elements .default Keyword act cons eqn init map proc sort var : Expression elements div end mod whr : Operators .default Ident2 allow block comm exists forall hide lambda rename sum : Actions .default Ident delta tau : Standard sorts .default Type struct Bag Bool Int List Nat Pos Set Time