/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 997 Auto.ML
-rw-r--r-- 1997-04-08 10:48 +0200 921 Auto.thy
-rw-r--r-- 1997-04-08 10:48 +0200 8666 AutoChopper.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2255 AutoChopper.thy
-rw-r--r-- 1997-04-08 10:48 +0200 990 Chopper.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1034 Prefix.ML
-rw-r--r-- 1997-04-08 10:48 +0200 224 Prefix.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1599 README.html
-rw-r--r-- 1997-04-08 10:48 +0200 193 ROOT.ML