--- a/src/HOL/Lex/ROOT.ML Mon Mar 09 16:30:55 1998 +0100 +++ b/src/HOL/Lex/ROOT.ML Tue Mar 10 13:23:35 1998 +0100 @@ -8,4 +8,5 @@ use_thy"AutoChopper"; use_thy"AutoChopper1"; +use_thy"AutoMaxChop"; use_thy"Regset_of_auto";