File psl-1983/tests/mini-known-to-comp.red from the latest check-in

% MINI-KNOWN-TO-COMP.RED

syslsp procedure CodeP x;
  CodeP x;

Procedure Pairp x;
 Pairp x;

Procedure Idp x;
 Idp x;

procedure Eq(x,y);
  eq(x,y);

procedure Null x;
 x eq 'NIL;

procedure Not x;
 x eq 'NIL;

End;