(* Title: HOL/IMP/ROOT.ML ID: $Id$ Author: Tobias Nipkow Copyright 1998-2003 TUM *) time_use_thy "Examples"; time_use_thy "ExamplesAbort"; time_use_thy "Pointers0"; time_use_thy "Pointer_Examples"; time_use_thy "Pointer_ExamplesAbort"; time_use_thy "SchorrWaite"; time_use_thy "Separation";