Top	2 Putting RSL into files
1 Changes to RSL

1 Changes to RSL

A small number of changes have been made to RSL since The RAISE Specification Language [1] was published.

• 1.1 With expressions
• 1.2 Comments
• 1.3 Prefix + and -
• 1.4 == symbol
• 1.5 Finite maps
• 1.6 Extra meanings for ∈, ∉, and hd
• 1.7 Test cases
• 1.8 Features of RSL not supported

1 Changes to RSL
	Top	2 Putting RSL into files