(* Title: HOL/Lex/ROOT.ML ID: $Id$ Author: Tobias Nipkow Copyright 1998 TUM *) use_thy"AutoChopper"; use_thy"AutoChopper1"; use_thy"AutoMaxChop"; use_thy"RegSet_of_nat_DA"; use_thy"Scanner";