Section Sums
*)
-inline "cic:/CoRN/algebra/CSums/Sums/G.var" "Sums__".
+alias id "G" = "cic:/CoRN/algebra/CSums/Sums/G.var".
(* Sum1 and Sum use subtraction *)
Section More_Sums
*)
-inline "cic:/CoRN/algebra/CSums/More_Sums/G.var" "More_Sums__".
+alias id "G" = "cic:/CoRN/algebra/CSums/More_Sums/G.var".
inline "cic:/CoRN/algebra/CSums/Mengolli_Sum.con".