anf.e
anf.h
anf_anf.h
anf_ceiling.h
anf_elt.h
anf_ideal.h
anf_order.h
kant.h
lattice.h
order.e
v3glue.e

dmat.h --> v3_dmat.h
lll.h --> v3_lll.h
lll_protos.h --> v3_lll_protos.h
mat.e --> v3_mat.e
mat.h --> v3_mat.h
mat_protos.h --> v3_mat_protos.h
vector.h --> v3_vector.h

platform_dummies.h
