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