The RAFDA project page has moved to http://www-systems.cs.st-andrews.ac.uk/wiki/RAFDA. Now redirecting to the new page...