/doc-src/AxClass/ Isabelle99
drwxr-xr-x [up]
-rw-r--r-- 1999-10-31 20:11 +0100 314 Makefile
-rw-r--r-- 1999-10-31 20:11 +0100 27890 axclass.tex
-rw-r--r-- 1999-10-31 20:11 +0100 1105 bbb.sty
-rw-r--r-- 1999-10-31 20:11 +0100 1892 out
-rw-r--r-- 1999-10-31 20:11 +0100 11004 style.tex