/src/Tools/8bit/c-sources/isa2latex/ Isabelle94-7
drwxr-xr-x [up]
-rw-r--r-- 1996-11-13 10:47 +0100 1158 Makefile
-rw-r--r-- 1996-11-13 10:47 +0100 1181 conv-defs.h
-rw-r--r-- 1996-11-13 10:47 +0100 10354 conv-lex.x
-rw-r--r-- 1996-11-13 10:47 +0100 6949 conv-main.c
-rw-r--r-- 1996-11-13 10:47 +0100 7028 conv-tables.h
-rw-r--r-- 1996-11-13 10:47 +0100 1116 conv-translate.c
-rwxr-xr-x 1996-11-13 10:47 +0100 35844 isa2latex