What is wrong with this rule?

• Subject: What is wrong with this rule?
• From: Richard Fateman
• Date: Tue, 07 Feb 2006 10:42:46 -0800

Have you declared I,L,J,S,M,K,N,T ?
The rule ignores S.  did you mean the RHS to be r(L,S,K,T)?
RJF

• Prev by Date: Once more about *general-display-prefix*
• Next by Date: What is wrong with this rule?
• Previous by thread: What is wrong with this rule?
• Next by thread: What is wrong with this rule?
• Index(es):
  • Date
  • Thread