Eric Berberich 611ca64a3f fixed typenaming		2008-04-08 11:13:19 +00:00
..
Algebraic_kernel_d	manual fix: moved labels inside sectioning command	2007-04-18 14:20:12 +00:00
Algebraic_kernel_d_ref	fixed typenaming	2008-04-08 11:13:19 +00:00