This page was moved to http://www.cs.cornell.edu/Info/Projects/NuPrl/Nuprl4.2/Libraries/Automata/