omtzigt-theo@CS.Yale.EDU (Theo Omtzigt) (09/25/89)
Does somebody know an anonymous ftp site for the OPS5 sources. Thanks in advance, Theo Omtzigt omtzigt-theo@cs.yale.edu