*)
(* UNEXPORTED
-Section VS_basics.
+Section VS_basics
*)
-inline "cic:/CoRN/algebra/CVectorSpace/F.var".
+alias id "F" = "cic:/CoRN/algebra/CVectorSpace/VS_basics/F.var".
-inline "cic:/CoRN/algebra/CVectorSpace/V.var".
+alias id "V" = "cic:/CoRN/algebra/CVectorSpace/VS_basics/V.var".
inline "cic:/CoRN/algebra/CVectorSpace/vs_op_zero.con".
inline "cic:/CoRN/algebra/CVectorSpace/vs_op_resp_ap_lft.con".
(* UNEXPORTED
-End VS_basics.
+End VS_basics
*)
(* UNEXPORTED