/doc-src/AxClass/ Isabelle94-8
drwxr-xr-x [up]
-rw-r--r-- 1997-05-27 15:45 +0200 457 Makefile
-rw-r--r-- 1997-05-27 15:45 +0200 27901 axclass.tex
-rw-r--r-- 1997-05-27 15:45 +0200 1105 bbb.sty
-rw-r--r-- 1997-05-27 15:45 +0200 1892 out
-rw-r--r-- 1997-05-27 15:45 +0200 10963 style.tex