../ board.epsf 17-Mar-1992 23:00 114K boards.ltx 17-Mar-1992 23:00 723 dutch-tt.ltx 17-Mar-1992 23:00 2048 dutch-tt.tex 17-Mar-1992 23:00 1753 kasparov.ltx 17-Mar-1992 23:00 3707 schaakmaatje.ltx 17-Mar-1992 23:00 18K symbols.ltx 17-Mar-1992 23:00 3116 symbols.tex 17-Mar-1992 23:00 2960 tal.ltx 17-Mar-1992 23:00 7492 tal.tex 17-Mar-1992 23:00 7499 tugboat.ltx 17-Mar-1992 23:00 23K tuggame.ltx 17-Mar-1992 23:00 2619