/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 18:02 +0200 8144 AutoChopper.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1584 AutoChopper.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1127 AutoChopper1.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1139 AutoMaxChop.ML
-rw-r--r-- 2000-05-30 18:02 +0200 546 AutoMaxChop.thy
-rw-r--r-- 2000-05-30 18:02 +0200 371 AutoProj.ML
-rw-r--r-- 2000-05-30 18:02 +0200 528 AutoProj.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1179 Automata.ML
-rw-r--r-- 2000-05-30 18:02 +0200 492 Automata.thy
-rw-r--r-- 2000-05-30 18:02 +0200 990 Chopper.thy
-rw-r--r-- 2000-05-30 18:02 +0200 684 DA.ML
-rw-r--r-- 2000-05-30 18:02 +0200 483 DA.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3662 MaxChop.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1157 MaxChop.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1983 MaxPrefix.ML
-rw-r--r-- 2000-05-30 18:02 +0200 797 MaxPrefix.thy
-rw-r--r-- 2000-05-30 18:02 +0200 789 NA.ML
-rw-r--r-- 2000-05-30 18:02 +0200 682 NA.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1438 NAe.ML
-rw-r--r-- 2000-05-30 18:02 +0200 762 NAe.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2760 Prefix.ML
-rw-r--r-- 2000-05-30 18:02 +0200 303 Prefix.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1226 README.html
-rw-r--r-- 2000-05-30 18:02 +0200 254 ROOT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 612 RegExp.thy
-rw-r--r-- 2000-05-30 18:02 +0200 12751 RegExp2NA.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1802 RegExp2NA.thy
-rw-r--r-- 2000-05-30 18:02 +0200 18138 RegExp2NAe.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1894 RegExp2NAe.thy
-rw-r--r-- 2000-05-30 18:02 +0200 672 RegSet.ML
-rw-r--r-- 2000-05-30 18:02 +0200 398 RegSet.thy
-rw-r--r-- 2000-05-30 18:02 +0200 6218 RegSet_of_nat_DA.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1479 RegSet_of_nat_DA.thy
-rw-r--r-- 2000-05-30 18:02 +0200 435 Scanner.ML
-rw-r--r-- 2000-05-30 18:02 +0200 160 Scanner.thy