/src/HOL/Lex/
drwxr-xr-x [up]
-rw-r--r-- 1999-09-23 13:06 +0200 8144 AutoChopper.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1584 AutoChopper.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1184 AutoChopper1.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1139 AutoMaxChop.ML
-rw-r--r-- 1999-09-23 13:06 +0200 546 AutoMaxChop.thy
-rw-r--r-- 1999-09-23 13:06 +0200 371 AutoProj.ML
-rw-r--r-- 1999-09-23 13:06 +0200 528 AutoProj.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1179 Automata.ML
-rw-r--r-- 1999-09-23 13:06 +0200 492 Automata.thy
-rw-r--r-- 1999-09-23 13:06 +0200 990 Chopper.thy
-rw-r--r-- 1999-09-23 13:06 +0200 684 DA.ML
-rw-r--r-- 1999-09-23 13:06 +0200 490 DA.thy
-rw-r--r-- 1999-09-23 13:06 +0200 3662 MaxChop.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1166 MaxChop.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1986 MaxPrefix.ML
-rw-r--r-- 1999-09-23 13:06 +0200 797 MaxPrefix.thy
-rw-r--r-- 1999-09-23 13:06 +0200 789 NA.ML
-rw-r--r-- 1999-09-23 13:06 +0200 689 NA.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1441 NAe.ML
-rw-r--r-- 1999-09-23 13:06 +0200 778 NAe.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2766 Prefix.ML
-rw-r--r-- 1999-09-23 13:06 +0200 303 Prefix.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1226 README.html
-rw-r--r-- 1999-09-23 13:06 +0200 431 ROOT.ML
-rw-r--r-- 1999-09-23 13:06 +0200 612 RegExp.thy
-rw-r--r-- 1999-09-23 13:06 +0200 12781 RegExp2NA.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1802 RegExp2NA.thy
-rw-r--r-- 1999-09-23 13:06 +0200 18162 RegExp2NAe.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1894 RegExp2NAe.thy
-rw-r--r-- 1999-09-23 13:06 +0200 672 RegSet.ML
-rw-r--r-- 1999-09-23 13:06 +0200 398 RegSet.thy
-rw-r--r-- 1999-09-23 13:06 +0200 6264 RegSet_of_nat_DA.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1479 RegSet_of_nat_DA.thy
-rw-r--r-- 1999-09-23 13:06 +0200 435 Scanner.ML
-rw-r--r-- 1999-09-23 13:06 +0200 160 Scanner.thy