/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 2001-01-31 10:15 +0100 7993 AutoChopper.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1575 AutoChopper.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1127 AutoChopper1.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1139 AutoMaxChop.ML
-rw-r--r-- 2001-01-31 10:15 +0100 546 AutoMaxChop.thy
-rw-r--r-- 2001-01-31 10:15 +0100 371 AutoProj.ML
-rw-r--r-- 2001-01-31 10:15 +0100 528 AutoProj.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1178 Automata.ML
-rw-r--r-- 2001-01-31 10:15 +0100 490 Automata.thy
-rw-r--r-- 2001-01-31 10:15 +0100 995 Chopper.thy
-rw-r--r-- 2001-01-31 10:15 +0100 684 DA.ML
-rw-r--r-- 2001-01-31 10:15 +0100 483 DA.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3682 MaxChop.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1157 MaxChop.thy
-rw-r--r-- 2001-01-31 10:15 +0100 2014 MaxPrefix.ML
-rw-r--r-- 2001-01-31 10:15 +0100 802 MaxPrefix.thy
-rw-r--r-- 2001-01-31 10:15 +0100 789 NA.ML
-rw-r--r-- 2001-01-31 10:15 +0100 681 NA.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1437 NAe.ML
-rw-r--r-- 2001-01-31 10:15 +0100 762 NAe.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1226 README.html
-rw-r--r-- 2001-01-31 10:15 +0100 254 ROOT.ML
-rw-r--r-- 2001-01-31 10:15 +0100 612 RegExp.thy
-rw-r--r-- 2001-01-31 10:15 +0100 12751 RegExp2NA.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1801 RegExp2NA.thy
-rw-r--r-- 2001-01-31 10:15 +0100 18125 RegExp2NAe.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1893 RegExp2NAe.thy
-rw-r--r-- 2001-01-31 10:15 +0100 672 RegSet.ML
-rw-r--r-- 2001-01-31 10:15 +0100 398 RegSet.thy
-rw-r--r-- 2001-01-31 10:15 +0100 6218 RegSet_of_nat_DA.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1479 RegSet_of_nat_DA.thy
-rw-r--r-- 2001-01-31 10:15 +0100 435 Scanner.ML
-rw-r--r-- 2001-01-31 10:15 +0100 160 Scanner.thy