Added an exception handler and error msg.
(* Title: HOL/Lex/ROOT.ML
ID: $Id$
Author: Tobias Nipkow
Copyright 1998 TUM
*)
time_use_thy "AutoChopper";
time_use_thy "AutoChopper1";
time_use_thy "AutoMaxChop";
time_use_thy "RegSet_of_nat_DA";
time_use_thy "Scanner";