/Admin/xsymbol/ Isabelle2002
drwxr-xr-x [up]
-rw-r--r-- 2002-03-08 16:24 +0100 4273 x-symbol-3.3d.diff
-rw-r--r-- 2002-03-08 16:24 +0100 20969 xsymb1_12.bdf
-rw-r--r-- 2002-03-08 16:24 +0100 22320 xsymb1_14.bdf