Monique Teillaud c80b9c1fc8 same kind as previous commit		2007-09-03 11:21:34 +00:00
..
Algebraic_kernel_d	manual fix: moved labels inside sectioning command	2007-04-18 14:20:12 +00:00
Algebraic_kernel_d_ref	same kind as previous commit	2007-09-03 11:21:34 +00:00