Some hints (and glitches)

• Save your work often. It happens that the system crashes without warning. You may need to increase the heap size when working on larger problems.
• There is a bug which makes it impossible to type spaces e.g. "cons a t" in the dialog box of Insert New Declaration. To work around this, type the string in a text editor, copy and paste it into the dialog box. (In later versions of Alfa this has been fixed.)
• The Compute option does not always work when this is expected. Work around this by retyping the expression to be computed (or make a new abbreviation for the expression).