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