/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 1998-10-07 10:31 +0200 8144 AutoChopper.ML
-rw-r--r-- 1998-10-07 10:31 +0200 1584 AutoChopper.thy
-rw-r--r-- 1998-10-07 10:31 +0200 1184 AutoChopper1.thy
-rw-r--r-- 1998-10-07 10:31 +0200 1139 AutoMaxChop.ML
-rw-r--r-- 1998-10-07 10:31 +0200 546 AutoMaxChop.thy
-rw-r--r-- 1998-10-07 10:31 +0200 371 AutoProj.ML
-rw-r--r-- 1998-10-07 10:31 +0200 528 AutoProj.thy
-rw-r--r-- 1998-10-07 10:31 +0200 1220 Automata.ML
-rw-r--r-- 1998-10-07 10:31 +0200 492 Automata.thy
-rw-r--r-- 1998-10-07 10:31 +0200 990 Chopper.thy
-rw-r--r-- 1998-10-07 10:31 +0200 684 DA.ML
-rw-r--r-- 1998-10-07 10:31 +0200 490 DA.thy
-rw-r--r-- 1998-10-07 10:31 +0200 3834 MaxChop.ML
-rw-r--r-- 1998-10-07 10:31 +0200 1157 MaxChop.thy
-rw-r--r-- 1998-10-07 10:31 +0200 1986 MaxPrefix.ML
-rw-r--r-- 1998-10-07 10:31 +0200 797 MaxPrefix.thy
-rw-r--r-- 1998-10-07 10:31 +0200 783 NA.ML
-rw-r--r-- 1998-10-07 10:31 +0200 689 NA.thy
-rw-r--r-- 1998-10-07 10:31 +0200 1441 NAe.ML
-rw-r--r-- 1998-10-07 10:31 +0200 778 NAe.thy
-rw-r--r-- 1998-10-07 10:31 +0200 2628 Prefix.ML
-rw-r--r-- 1998-10-07 10:31 +0200 224 Prefix.thy
-rw-r--r-- 1998-10-07 10:31 +0200 1226 README.html
-rw-r--r-- 1998-10-07 10:31 +0200 490 ROOT.ML
-rw-r--r-- 1998-10-07 10:31 +0200 612 RegExp.thy
-rw-r--r-- 1998-10-07 10:31 +0200 12529 RegExp2NA.ML
-rw-r--r-- 1998-10-07 10:31 +0200 1802 RegExp2NA.thy
-rw-r--r-- 1998-10-07 10:31 +0200 18124 RegExp2NAe.ML
-rw-r--r-- 1998-10-07 10:31 +0200 1894 RegExp2NAe.thy
-rw-r--r-- 1998-10-07 10:31 +0200 665 RegSet.ML
-rw-r--r-- 1998-10-07 10:31 +0200 398 RegSet.thy
-rw-r--r-- 1998-10-07 10:31 +0200 6258 RegSet_of_nat_DA.ML
-rw-r--r-- 1998-10-07 10:31 +0200 1479 RegSet_of_nat_DA.thy
-rw-r--r-- 1998-10-07 10:31 +0200 435 Scanner.ML
-rw-r--r-- 1998-10-07 10:31 +0200 160 Scanner.thy