Filename Modification time Size cmcsc10.pk 1991-09-30 01:00 CET 4404 B cmmi7.pk 1991-09-30 01:00 CET 3728 B cmmi10.pk 1991-09-30 01:00 CET 4956 B cmr6.pk 1991-09-30 01:00 CET 2996 B cmr7.pk 1991-09-30 01:00 CET 3388 B cmr8.pk 1991-09-30 01:00 CET 3636 B cmr10.pk 1991-09-30 01:00 CET 4264 B cmr12.pk 1991-09-30 01:00 CET 4912 B cmr17.pk 1991-09-30 01:00 CET 6864 B cmsy7.pk 1991-09-30 01:00 CET 3904 B cmsy10.pk 1991-09-30 01:00 CET 5036 B cmti10.pk 1991-09-30 01:00 CET 4936 B