Description: Obsolete version of enpr2 as of 30-Dec-2024. (Contributed by FL, 17-Aug-2008) (Proof modification is discouraged.) (New usage is discouraged.)