/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 997 Auto.ML
-rw-r--r-- 1997-01-23 14:19 +0100 921 Auto.thy
-rw-r--r-- 1997-01-23 14:19 +0100 8656 AutoChopper.ML
-rw-r--r-- 1997-01-23 14:19 +0100 2255 AutoChopper.thy
-rw-r--r-- 1997-01-23 14:19 +0100 986 Chopper.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1034 Prefix.ML
-rw-r--r-- 1997-01-23 14:19 +0100 224 Prefix.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1599 README.html
-rw-r--r-- 1997-01-23 14:19 +0100 193 ROOT.ML