src/Pure/Isar/calculation.ML

   val name = "Isar/calculation";
   type T = thm NetRules.T
 
   val empty = NetRules.elim;
   val copy = I;
-  val finish = I;
   val prep_ext = I;
   val merge = NetRules.merge;
   val print = print_rules Display.pretty_thm_sg;
 end;