/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 2000-11-24 16:49 +0100 7993 AutoChopper.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1575 AutoChopper.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1127 AutoChopper1.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1139 AutoMaxChop.ML
-rw-r--r-- 2000-11-24 16:49 +0100 546 AutoMaxChop.thy
-rw-r--r-- 2000-11-24 16:49 +0100 371 AutoProj.ML
-rw-r--r-- 2000-11-24 16:49 +0100 528 AutoProj.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1179 Automata.ML
-rw-r--r-- 2000-11-24 16:49 +0100 492 Automata.thy
-rw-r--r-- 2000-11-24 16:49 +0100 995 Chopper.thy
-rw-r--r-- 2000-11-24 16:49 +0100 684 DA.ML
-rw-r--r-- 2000-11-24 16:49 +0100 483 DA.thy
-rw-r--r-- 2000-11-24 16:49 +0100 3682 MaxChop.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1157 MaxChop.thy
-rw-r--r-- 2000-11-24 16:49 +0100 2014 MaxPrefix.ML
-rw-r--r-- 2000-11-24 16:49 +0100 802 MaxPrefix.thy
-rw-r--r-- 2000-11-24 16:49 +0100 789 NA.ML
-rw-r--r-- 2000-11-24 16:49 +0100 682 NA.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1438 NAe.ML
-rw-r--r-- 2000-11-24 16:49 +0100 762 NAe.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1226 README.html
-rw-r--r-- 2000-11-24 16:49 +0100 254 ROOT.ML
-rw-r--r-- 2000-11-24 16:49 +0100 612 RegExp.thy
-rw-r--r-- 2000-11-24 16:49 +0100 12751 RegExp2NA.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1802 RegExp2NA.thy
-rw-r--r-- 2000-11-24 16:49 +0100 18120 RegExp2NAe.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1894 RegExp2NAe.thy
-rw-r--r-- 2000-11-24 16:49 +0100 672 RegSet.ML
-rw-r--r-- 2000-11-24 16:49 +0100 398 RegSet.thy
-rw-r--r-- 2000-11-24 16:49 +0100 6218 RegSet_of_nat_DA.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1479 RegSet_of_nat_DA.thy
-rw-r--r-- 2000-11-24 16:49 +0100 435 Scanner.ML
-rw-r--r-- 2000-11-24 16:49 +0100 160 Scanner.thy