../ board.epsf 17-Mar-1992 23:00 117164 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 18534 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 24037 tuggame.ltx 17-Mar-1992 23:00 2619