77 forw_subst
78 back_subst
79 rev_mp
80 mp
81 trans
82 transitive
82
83
83 lemmas [elim?] = sym
84 lemmas [elim?] = sym
84
85
85 end
86 end