*)
(* UNEXPORTED
-Section List.
+Section List
*)
-inline "cic:/CoRN/algebra/ListType/A.var".
+alias id "A" = "cic:/CoRN/algebra/ListType/List/A.var".
inline "cic:/CoRN/algebra/ListType/list.ind".
(*#*****************************)
(* UNEXPORTED
-Section length_order.
+Section length_order
*)
inline "cic:/CoRN/algebra/ListType/lel.con".
Hint Unfold lel: list.
*)
-inline "cic:/CoRN/algebra/ListType/a.var".
+alias id "a" = "cic:/CoRN/algebra/ListType/List/length_order/a.var".
-inline "cic:/CoRN/algebra/ListType/b.var".
+alias id "b" = "cic:/CoRN/algebra/ListType/List/length_order/b.var".
-inline "cic:/CoRN/algebra/ListType/l.var".
+alias id "l" = "cic:/CoRN/algebra/ListType/List/length_order/l.var".
-inline "cic:/CoRN/algebra/ListType/m.var".
+alias id "m" = "cic:/CoRN/algebra/ListType/List/length_order/m.var".
-inline "cic:/CoRN/algebra/ListType/n.var".
+alias id "n" = "cic:/CoRN/algebra/ListType/List/length_order/n.var".
inline "cic:/CoRN/algebra/ListType/lel_refl.con".
inline "cic:/CoRN/algebra/ListType/lel_nil.con".
(* UNEXPORTED
-End length_order.
+End length_order
*)
(* UNEXPORTED
inline "cic:/CoRN/algebra/ListType/incl_app.con".
(* UNEXPORTED
-End List.
+End List
*)
(* UNEXPORTED
*)
(* UNEXPORTED
-Section Map.
+Section Map
*)
-inline "cic:/CoRN/algebra/ListType/A.var".
+alias id "A" = "cic:/CoRN/algebra/ListType/Map/A.var".
-inline "cic:/CoRN/algebra/ListType/B.var".
+alias id "B" = "cic:/CoRN/algebra/ListType/Map/B.var".
-inline "cic:/CoRN/algebra/ListType/f.var".
+alias id "f" = "cic:/CoRN/algebra/ListType/Map/f.var".
inline "cic:/CoRN/algebra/ListType/map.con".
(* UNEXPORTED
-End Map.
+End Map
*)
(* UNEXPORTED