Description: Obsolete version of nfralw as of 13-Dec-2024. (Contributed by NM, 1-Sep-1999) (Revised by Gino Giotto, 10-Jan-2024) (Proof modification is discouraged.) (New usage is discouraged.)