: mCRL(2) keyword file - by Paul van Tilburg <address@hidden>
: $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