: mCRL(2) keyword file - by Paul van Tilburg <paul@luon.net>
: $Id: mcrl.key,v 1.1 2006/08/08 21:48:00 Paul.van.Tilburg Exp $

: 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
