Directory contents:
repro.lec.09.09.98
repro.lec.10.12.98
repro.lec.09.25.98
repro.lec.09.28.98
repro.lec.10.16.98
repro.lec.09.21.98
repro.lec.09.23.98
repro.lec.10.07.98
repro.lec.10.09.98
repro.lec.10.14.98
repro.lec.10.15.98
repro.lec.09.18.98
repro.lec.09.15.98
repro.lec.10.08.98
repro.lec.09.14.98
repro.lec.09.11.98
repro.lec.09.29.98