/src/Tools/8bit/c-sources/isa2latex/ Isabelle99-2
drwxr-xr-x [up]
-rw-r--r-- 2001-02-15 17:18 +0100 1171 Makefile
-rw-r--r-- 2001-02-15 17:18 +0100 1181 conv-defs.h
-rw-r--r-- 2001-02-15 17:18 +0100 12693 conv-lex.x
-rw-r--r-- 2001-02-15 17:18 +0100 7291 conv-main.c
-rw-r--r-- 2001-02-15 17:18 +0100 9377 conv-tables.h
-rw-r--r-- 2001-02-15 17:18 +0100 1116 conv-translate.c