cross@cs1.wsu.EDU (George Cross) (03/11/88)
Hi, Does anyone have the parts that were left out of KCL for the Sequent Balance? I have the KCL distribution from a recent ftp from rascal and the Sequent parts are missing. ---- George - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - George R. Cross Computer Science Department cross@cs1.wsu.edu Washington State University cross@wsuvm1.BITNET Pullman, WA 99164-1210 Phone: 509-335-6319 or 509-335-6636