_ ,,,,              _
       __    |-|-:__    ___.   |  ,  __    __  __    . ,.  ___
      (__`   |''''__)  /   `   |.(    |    |   __)    |   /___)
  |   .__)  _|_  (__|_ '.__.  _|  \_  \_/\_/  (__|_  _|_  '.__.
  |
  |__________________________________________________  | |  |_/
                                                       \_/  | \

 Name                                                         Last modified      Size  Description
 Parent Directory                                                                  -    
 00readme.txt                                                 1994-06-01 02:00  3.6K   
 amsfonts.fdd                                                 1994-06-01 01:45  7.9K   
 amsfonts.ins                                                 1994-06-01 01:44  4.3K   
 eufrak.dtx                                                   1994-06-01 01:45  4.2K   
 eufrak.ins                                                   1994-06-01 01:45  2.8K   
 euscript.dtx                                                 1994-06-01 01:45  4.1K   
 euscript.ins                                                 1994-06-01 01:45  2.9K   
 oldgerm.dtx                                                  1994-06-01 01:45   36K   
 oldgerm.ins                                                  1994-06-01 01:45  4.2K   
 pandora.dtx                                                  1994-06-01 01:45  8.0K   
 pandora.ins                                                  1994-06-01 01:45  4.1K