/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 1996-03-13 11:55 +0100 1049 Auto.ML
-rw-r--r-- 1996-03-13 11:55 +0100 921 Auto.thy
-rw-r--r-- 1996-03-13 11:55 +0100 8650 AutoChopper.ML
-rw-r--r-- 1996-03-13 11:55 +0100 2273 AutoChopper.thy
-rw-r--r-- 1996-03-13 11:55 +0100 986 Chopper.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1096 Prefix.ML
-rw-r--r-- 1996-03-13 11:55 +0100 224 Prefix.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1599 README.html
-rw-r--r-- 1996-03-13 11:55 +0100 193 ROOT.ML