Description: Obsolete version of en0 as of 31-Jul-2024. (Contributed by NM, 27-May-1998) (Proof modification is discouraged.) (New usage is discouraged.)