// file:    EOF.java
// author:  Robert Keller
// purpose: EOF Class of Polya package

package polya;

import java.io.*;
import java.lang.*;
	
/**
  *  EOF represents an end-of-file
 **/

public class EOF
  {
  }