/tolo.ma/1.1.1.1/Sat Oct 12 20:16:00 2002//
/theory_linear.tex/1.5/Wed Dec 31 19:37:58 2003//
D