src/Pure/Isar/net_rules.ML

 
 
 (* intro/elim rules *)
 
 val init_intro = init Thm.eq_thm Thm.concl_of;
-val init_elim = init Thm.eq_thm (Logic.strip_assums_concl o Thm.major_prem_of);
+val init_elim = init Thm.eq_thm Thm.major_prem_of;
 
 
 end;