/src/Tools/8bit/latex/ Isabelle98-1
drwxr-xr-x [up]
-rw-r--r-- 1998-10-25 12:33 +0100 275 Set2a.tex
-rw-r--r-- 1998-10-25 12:33 +0100 767 isa2latex.sty
-rw-r--r-- 1998-10-25 12:33 +0100 7048 supertab.sty