(* 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";