/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 1996-10-07 10:28 +0200 997 Auto.ML
-rw-r--r-- 1996-10-07 10:28 +0200 921 Auto.thy
-rw-r--r-- 1996-10-07 10:28 +0200 8656 AutoChopper.ML
-rw-r--r-- 1996-10-07 10:28 +0200 2255 AutoChopper.thy
-rw-r--r-- 1996-10-07 10:28 +0200 986 Chopper.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1068 Prefix.ML
-rw-r--r-- 1996-10-07 10:28 +0200 224 Prefix.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1599 README.html
-rw-r--r-- 1996-10-07 10:28 +0200 193 ROOT.ML